Revision #334 → #1625 · back to history
addedProof of a theoremebb2c8332503
addedConjecture126ca3a7fb58
addedGödel's incompleteness theorems40a2b72abfbd
addedEuclid: angles of a triangle sum to 180°b3d37b1319aa
addedSum of angles in Euclidean geometrydef5bdcff31d
addedGoodstein's theoremdbdc82bffb09
addedFermat's Last Theorem (deep theorem)306a8165ffa7
addedIndicative conditional form of a theorema6fafefe50a0
addedEven n implies n/2 is natural3badbb4f9cfb
addedFour color theorem and Kepler conjecture3fde8e94e071
addedCollatz conjecture and Riemann hypothesisbbe1257e943e
addedMertens conjectured5b2d852e440
addedAxiom or postulate08cdcbb65036
addedDefinition91510d0759b5
addedConjecture959f02ff70e0
addedPropositionbe9d2496755a
addedCorollary23af564c0475
addedGeneralization63cdd4779c7e
addedIdentity189fb270cd80
addedLaw or principlec3d0b09f276c
addedFormal theory15a097e0c7e3
addedSentenced79ac2be5a20
addedTheorem (member of a theory)31a01655dc84
addedInconsistent theory has all sentences as theorems0b0198ecd68c
addedMetatheorem87f709427e98
addedImportant theorems in mathematical logic619bfa34b8c1
addedValiditya606ec07821e
addedSoundness0ca762d0cba8
addedSemantic completeness877f2dc12f53