[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
formatigo de titoloj, +Projektoj, +Bibliotekoj, kosmetikaj ŝanĝoj
e laŭ korpo (matematiko); vd NPIV http://vortaro.net/#korpo
Linio 17:
 
=== Aksiomoj pri la reeloj ===
Oni povas karakterizi la [[kampokorpo (algebro)|kamponkorpo]]n de reeloj per tiuj [[aksiomo]]j (ĝis [[izomorfio]]):
* La '''[[kampokorpo (algebro)|kampo-aksiomojkorpo]]-aksiomoj''' pri [[adicio]], [[multipliko]] kaj [[distribueco]]
* '''Aksiomo pri [[ordo]]''', unu el la du ekvivalentaj aksiomoj
** ekzistas harmonia [[tuteca ordo]] ''(K, <)'' (do el 0 < ''a'' kaj 0 < ''b'' sekvas 0 < ''a + b'' kaj 0 < ''a·b'')