Question

$-1<0$ olduğunu gösteriniz. Öncelikle $0<1$  olduğunu gösteriniz.

Bu linkteki aksiyomlara sadık kalarak bir kanıt veriniz.

Tanım: $x<y:\Leftrightarrow (x\leq y\wedge x\neq y)$

Answer 1

$0<1$ olduğunu kanıtlamak kolay.

$$0<1\overset{(1)}\Rightarrow -1<-0\overset{(2)}\Rightarrow -1<0.$$

 

(1) nolu geçişin gerekçesi, $(x<y\Rightarrow-y<-x)$ teoremi. (Kanıtı sitede mevcut.)

(2) nolu geçişin gerekçesi, $-0=0$ teoremi.