Zu locale Hochschule:
robier 2018-10-17 12:49:20+0200
Für alle X aus R: 0 < x, oder 0 = x, oder 0 < -x.
Muss es nicht heißen: 0 > -x?
ich denke, das ist schon richtig mit %%0\lt -x%%.
" %%0\gt -x%%" wäre ja sogar gleichbedeutend mit "%%0\lt x%%" - das würde doch gar keinen Sinn machen, das eigens nochmal aufzuführen.
Ich glaube, es geht hier darum, Folgendes auszusagen:
Für JEDES %%x%% aus %%\mathbb R%%, das nicht gerade %%0%% ist (die %%0%% nimmt da eine Sonderrolle ein!) gilt:
Entweder ist %%x%% positiv,
oder, wenn es nicht positiv ist, dann ist dafür aber %%-x%% positiv.
Es kann also nicht vorkommen, dass weder %%x%% noch %%-x%% positiv sind (und im Übrigen auch nicht, dass sie beide positiv sind, weil es im Axiom ausdrücklich heißt "entweder ... oder").
Kannst du mit dieser Antwort etwas anfangen? Oder ist die Sache immer noch unklar bzw. bist du anderer Meinung als ich?
Viele Grüße
Renate