Ingen översättning hittades i den valda målspråket.
Din sökning innehåller flera ord. För bättre resultat, prova att söka orden separat: Peano, arithmetic
Definitioner
Substantiv
(logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, addition and multiplication, including a first-order schema of induction.