Nicht definiert?
Wenn gammatester behauptet, das die genannten Regeln widerspruchsfrei sind, kann man das prüfen (bzw. beweisen/widerlegen), ABER man kann dafür nicht einfach einfach auf das zurückgreifen, was wir über R wissen.
Es ist ja nicht so, daß ich das als einiziger behaupte, vgl ua den genannten Wiki-Arikel. Man wird halt in eine Diskussion reingezogen.
Als Pascal/Delphi-Programmierer haben wird ja auch fast ein komplettes Modell mit FPU und IEEE-Arithmetik, mit einigen Einschränkungen (nur endlich viele Zahlen, Addition
nicht assoziativ für manche Ausdrücke etc).
Wenn R für rationale Zahlen steht, dann handelt es sich ja um einen vollständig geordneten Körper
Nein, R wurde oben als Körper der reellen Zahlen benutzt, ich habe R# als R+{∞,-∞} zur Unterscheidung verwendet, Wiki schreibt zB R mit Querstrich.