Find link
language:
jump to random article
Find link is a tool written by Edward Betts.
searching for Symbols for zero 1 found (5 total)
alternate case: symbols for zero
Peano axioms
(6,301 words)
[view diff]
exact match in snippet
view article
find links to article
axiomatization of Peano arithmetic uses a signature that only has symbols for zero as well as the successor, addition, and multiplications operations