Text this: Anti-Realism and Infinitary Proofs