display all the ideas for this combination of texts
8 ideas
17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
17765 | Propositional language can only relate statements as the same or as different [Walicki] |
17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
11222 | The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta] |
13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |