Tajer, D. Anti-Realism and Infinitary Proofs. Anál. Filos. 2012, 32, 45-51.