Natura nombro: Malsamoj inter versioj
| [nekontrolita versio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
e roboto aldono de: pnb:نیچرل نمبر |
e ne plu "havenda" laŭ la internacia konkurso (ĝin anstataŭas, kadre de tiu listo, la artikolo "diferenciala ekvacio", ekde la 4-a de oktobro 2010) |
||
Linio 33:
En la duaorda logiko oni povas rekte paroli pri ĉiuj subaroj, ĉu difineblaj ĉu ne, de la tuta aro de la naturaj nombroj, do la formaligo estas tre rekta kaj simpla. Krome oni povas pruvi, ke ĉiuj modeloj de la formaligita teorio estas izomorfaj unu kun la alia. Alivorte, la duaordaj aksiomoj de Peano plene priskribas la strukturon de la naturaj nombroj. Ilia ĉefa malavantaĝo estas la manko de kompleta pruvsistemo por la duaorda logiko.
== Vidu ankaŭ
* [[Cifero]] kaj [[numero]]
* [[Nombroteorio]]
* [[Primo]]
[[Kategorio:Matematiko]]
| |||