Matematika
- An absolutely enormous number
- Egy nagyon nagy szám
- felfele nyil operátor
- valós számok teste
- szétválasztási axióma
- -1*x=-x
- multiplikatív inverz unicítása
- arkhimedesi axióma
- additív inverz unicítása
- 0*x=0
- -(-x))=x
- rendezési axiómák
- Azonos multiplikatív inverz
- azonos additív inverz
- (x^(-1))^(-1)=x
- null elem
- -1*(-1)=1
- egység elem
- x^(-1)≠0
- implikáció