User:NicolasPott

Main interests: logic, foundations of mathematics, theoretical physics.