Diff — 1
Revision #2 → #966 · back to history
added1 is the first natural number after 08166e1a28f0a
addedConstruction by successione0b849ac5bb5
added1 is neither prime nor composite7593d86d8813
addedMultiplicative identity48f8df7f2eba
addedPowers of 1 equal 14818655eafbe
addedMultiplicative identity in a unital ring or field407bde3cacb6
addedUnit (element with multiplicative inverse)6cfa121af14b
added1 as identity for power semigroup899490bd3373
added1 is its own factorial760e8d00cf31
addedEmpty product is 17b595ac7ab1d
addedPeano axioms starting point1f20c09e62f3
addedVon Neumann construction of 17d8b788c4186
addedUnary numeral system4c823da7d194
addedUnit intervala0e84e2bca21
added1 as probability of a certain event728444169fe7
addedUnit vectors40d522f2c153
addedBenford's lawfe5f208b41c0
addedLegendre's constant691a79e11570
addedWeil's conjecture on Tamagawa numbers34472752186b
addedChurch numeral for 1ee69ba587f93