4 ideas
21959 | Metaphysics is the most general attempt to make sense of things [Moore,AW] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
21958 | Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW] |