Peano-aritmetik
Peaʹno-aritmetik, axiomatisk framställning av aritmetiken, formulerad av Giuseppe Peano vid slutet av 1800-talet på förslag av Richard Dedekind.
Peanos axiomsystem innehåller tre grundbegrepp N, 0 och ′. Uttrycket n∊N står för ”n är ett naturligt tal” (dvs. ett av talen 0, 1, 2, ...), medan n′ står för ”det naturliga talet omedelbart efter n”. Systemet innehåller fem axiom: 1) 0∊N; 2) om n∊N, så
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.