3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
10242 | I apply structuralism to concrete and abstract objects indiscriminately [Quine] |
10243 | My ontology is quarks etc., classes of such things, classes of such classes etc. [Quine] |