PROOF 02
a ÷ 0 은 정의할 수 없다
유리수 ℚ 위에서. 연산은 + 와 × 두 개.
정의 D1
a ÷ b 는 b × x = a 를 만족하는 x 를 뜻한다.
증명.
관련 실험실