Foundational crisis of mathematics