display all the ideas for this combination of texts
4 ideas
10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
1312 | If everything is and isn't then everything is true, and a midway between true and false makes everything false [Aristotle on Heraclitus] |
10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |