He analyzes the metaphysics of mathematical entities in his Existence and Truth in Mathematics, and he studies Wittgenstein's philosophy (or rather anti-philosophy) of mathematics.
El analizează metafizica entităților matematice în Existență și adevăr în matematică și studiază filosofia matematicii a lui Wittgenstein (care e mai degrabă anti-filosofie).