Revision #857 → #1392 · back to history
addedMathematical proof7bf5a0ab483d
addedConjecture / hypothesisa447cf8e61f3
addedFormal proof3eea5e0b9d21
addedDirect proofeb3d9d6e31a1
addedSum of two even integers is even6749c655f871
addedProof by mathematical induction5c8beeda4715
addedPrinciple of mathematical induction04f08553a248
added2n − 1 is odd for all positive integers n71aa5625ba84
addedProof by contraposition84f901eeeda1
addedIf n² is even then n is even (contraposition)02b6f9cc728c
addedProof by contradiction3050c0985c7e
addedIrrationality of √2b84128c8cc10
addedProof by constructione393944c8f05
addedExistence of transcendental numbers1ec8f30e8949
addedProof by exhaustiond63e810218f3
addedFour color theorem proof by exhaustionde060f518e38
addedClosed chain inferencee15f1fd5d68b
addedProbabilistic proofa57e84e0026a
addedCombinatorial proof5a2c98e8c89b
addedNonconstructive proof5a9a28557d94
addedIrrational a, b with a^b rational089b39346caf
addedUndecidable statement9ad26104aee8
addedParallel postulate undecidable47fe95603f50
addedGödel's first incompleteness theorem81e4c77fb151
addedTwo-column prooff2c5b0422df9