There is no logical foundation of mathematics, and Gödel has proved it!
There is no logical foundation of mathematics, and Gödel has proved it!