PROOF 02

Prove.

a ÷ 0 cannot be defined

On the rationals ℚ. Two operations: + and ×.

Definition D1

a ÷ b denotes the x satisfying b × x = a.

Proof.

Related labs