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] |
8525 | Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K] |
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] |