Page "Anti-realism" Paragraph 2

According to intuitionists ( anti-realists with respect to mathematical objects ), the truth of a mathematical statement consists in our ability to prove it.

According to platonists ( realists ), the truth of a statement consists in its correspondence to objective reality.

Thus, intuitionists are ready to accept a statement of the form " P or Q " as true only if we can prove P or if we can prove Q: