Etudie le problème ontologique interne à la philosophie de la logique et des mathématiques, c'est-à-dire la question de savoir si les entités abstraites dont on parle en logique et en mathématiques existent réellement.