Wiskundige logica laat wiskundigen herformuleren filosofische vragen zo nauwkeurig wiskundige vragen. Dit project is het thema voor gereedschap uit de wiskundige logica, in het bijzonder gereedschap van berekenbaarheid theorie te gebruiken om de vraag te bestuderen "Hoe ingewikkeld is het universum van wiskundige problemen?" We analyseren de complexiteit van het universum van problemen als geheel en de complexiteit van verschillende bekende concrete problemen.