Revision #36 → #1024 · back to history
addedLogical vs non-logical axiomsdaf999175769
addedClassical axiomd3640a12fe8c
addedAxiom example (equals from equals)51dddce10777
addedPostulate0f5ea70bbb75
addedEuclid's postulates3997867cdaf9
addedCommon notion: equal to same thing317ef02dc73f
addedCommon notion: equals added to equals6bca32b7f2e8
addedCommon notion: equals subtracted from equals09a3ecd35113
addedCommon notion: coinciding things1633a726858e
addedCommon notion: whole greater than partdc6243ffeacb
addedSet of axioms (modern)d5889a2b2e9b
addedConsistency48a0e818b1a9
addedNon-redundancy3d8218a87026
addedGödel's incompleteness (independent statement)423d3b5f079c
addedGödel's second incompleteness theorem4ce801a58c89
addedIndependence of the continuum hypothesis994b4544b0fe
addedLogical axioms242c151cb110
addedPropositional logic axiom schemata72ff37c718a8
addedAxiom schema5d03b28323c4
addedCompleteness of three schemata7a94ce83e68e
addedNo pair of schemata sufficient4c595927e94e
addedAxiom of equalitybbf3c20ebba9
addedUniversal instantiation98a32111b015
addedExistential generalization0a8b7cdc43ac
addedNon-logical axioms25c1c9e9287e
addedZFC set theorya145ceb5d5f5
addedPeano axioms97491331082a
addedEuclid's 4 + 1 postulatesd78e10a59fab
addedIndependence of the parallel postulate048e3a7b6126
addedCharacterization of the real numbers0e0634543498
addedLöwenheim–Skolem theoremsfe0b6d9463cc
addedDeductive system80dc5237e887
addedCompleteness of a deductive system5a326058ee0b
addedGödel's completeness theorem48efd4d3b588
addedGödel's first incompleteness theorem7183fa94b3ff
addedAxioms in the modern view18517377ac87