[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Maksim-bot (diskuto | kontribuoj)
"parigadosistemo"->"parigadosistemon"
Linio 20:
* la '''[[kampo (algebro)|kampo-aksiomoj]]''' de [[adicio]], [[multipliko]] kaj [[distribueco]]
* '''Aksiomo de [[ordo]]''', unu el la du ekvivalentaj aksiomoj
** ekzistas harmonia [[tuteca ordo-rilato]] '''(K, <=)''' (do el '''0<a''' kaj '''0<b''' sekvas '''0<a+b''' kaj '''0<a·b''')
** ekzistas subaro '''K<sup>+</sup>''' tiel, ke
*** <math>K = K_+ \cup {0} \cup -K_+</math>