Revision #131 → #1186 · back to history
addedEquality337c2bba2fbb
addedEquation or identity15af8b25c078
addedDistinct objectsa82e877c74bd
addedReflexivity of equality6f7edd9228f2
addedSymmetry of equality95ea4348aa71
addedTransitivity of equalityb8375baf740c
addedSubstitution property521ffefa5cf2
addedFunction application property5c8928aec8b6
addedEquationc9e1c5d7d984
addedSolution of an equation4e1bc0675877
addedSolution set233073ce8bad
addedConditionally true equationb73f4b62c3cd
addedEquation as binary predicate5b471ede36ab
addedEquation in computer scienceeef43920b0b5
addedIdentity7aff85d73316
addedExtensionality of functions158bebec8424
addedFunctional equatione6681c1b3f21
addedDifferential equatione80e4f30feed
addedEqual by definition9a86b1cc8afd
addedDefinition of Euler's numberc598a041d78f
addedExtension by definitionc4f0cfd58e58
addedIdentity of indiscernibles36a12c6b50b0
addedLaw of identityd54c91c667f5
addedSubstitution property (axiom)fb414cc3e03e
addedFunction application deducible from axioms806a1b3be7a0
addedSubstitution failing in intensional context73c231eef0d8
addedDerivation of reflexivity706eeec6d3b9
addedDerivation of symmetry7c5db751bb84
addedDerivation of transitivity08152368a139
addedDerivation of function application9fa3a5b91ac2
addedSet theory6def42ff399a
addedSet equality by elements (extensionality)960aa543f88a
addedSet builder equality examplede02932dee08
addedIntensional definition43ec10118b4b
addedExtensional definitiondf49f6463cfd
addedExtension of a predicate4106267a0921
addedAxiom of extensionality (FOL with equality)e8aa4c645ed0
addedSet equality (FOL without equality)7ae793b8d31e
addedProof of reflexivity (sets)df3f1067009c
addedProof of symmetry (sets)7ad5464d4d47
addedProof of transitivity (sets)5f1e24f6423d
addedProof of function application (sets)cc7458033375
addedNumerical analysis0a9b7df71190
addedApproximate equality not an equivalence relation009e10ebc4b1
addedFloating-point numbercd1d904ac252
addedUndecidability of real number equality (Richardson's theorem)88862235cdb1
addedEquivalence relation5ec77d38f306
addedEquivalence relations partition a set3e48d234570e
addedEquality is the strictest equivalence relationc547a8907cff
addedCongruence relation77e564782457
addedIsomorphism8a6ad7248725
addedIsomorphism (formal)49a205f5b3b6
addedGroup isomorphismd6cdfb7700e0
addedCyclic groups isomorphic to integers0f2a82a856ed
addedIsomorphic vector spaces8b08aa1bb2cc
addedGeometric equality of figures2a4555a6ef9d
addedEuclid's Pythagorean theorem statement20f08e4e13a8
addedArchimedes' area of a circle29cfba092eed
addedDivisibly equal and equal in contenta427afbcdaf0
addedSimilar figures2f4ab176e5ed
addedEquipollence70b5836fcc59