Revision #1505 → #1781 · back to history
addedCantor's theorem on uncountable sets1f0c2c779250
addedRussell's paradoxbab8a0176b3b
addedNon-Euclidean geometriesb7b6a322ff98
addedGödel's incompleteness theoremscab258531e8f
addedAxiomatic method399411bebafd