실수체계(비교)

 r28 vs r29
 ...
 ||'''Theorem 1.4''' [anchor(Theorem 1.4)]
 [math(a \times 0 =0)]||
 (이 증명에 사용되는 [math(a)], [math(b)]는 다른 증명과 독립이다.)
-{{{+1 '''1.'''}}} [math(a)]와 [math(0)]은 각각 실수이므로 이 둘의 곱인 [math(a \times 0)]은 실수이다.  ([[#Axiom 1.6|Axiom 1.6]]. 곱셈연산의 닫힘)
+{{{+1 '''1.'''}}} [math(a)]와 [math(0)]은 각각 실수이므로 이 둘의 곱인 [math(a \times 0)]은 실수이다.  ([[#Axiom 1.6|Axiom 1.6]]. 곱셈연산의 닫힘) 여기까지 보면 왜 0이 아니냐 하겠지만, 지금으로서는 [math(a\times0)]이 실수이기는 하나 이게 0인지 아닌지 몰루인 상황이다. 그래서 다른 Axiom들을 가지고 와서 --큐브 돌리기-- 이리 저리 맞춰보는 것이다.
 {{{+1 '''2.'''}}} '''1.'''에서 [math(a \times 0)]에 대하여 다음 둘을 만족한다.
  i. [math((a \times 0) {\color{blue}+0}=a \times 0)]   ([[#Axiom 1.4|Axiom 1.4]]. 덧셈에 대한 [math(a \times 0)]의 항등원 [math({\color{blue}0})])
 ...