3 ms·Yes, it is very easy to check that [Gödel 1931] was for a system for the foundation of mathematics.by ProfHewitt 5y agoYes, it is very easy to check that [Gödel 1931] was for a system for the foundation of mathematics.