Logical Foundations

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