Integers and addition

foundations
Published

October 11, 2026

ImportantTo do

Definition 1 (Integer (celé číslo)) Your words.

Definition 2 (Additive inverse (opačné číslo)) Your words.

Definition 3 (Commutativity (komutativita) and associativity (asociativita) of addition) Your words.

Theorem 1 (N3: uniqueness of the additive inverse) Your words.

Proof. Cover the book’s proof. Try 10–15 min first.

Theorem 2 (N4: minus minus a) Your words.

Proof. Cover the book’s proof. Try 10–15 min first.

Theorem 3 (N5: minus of a sum) Your words.

Proof. Cover the book’s proof. Try 10–15 min first.

TipIntuition

Your words.

Exercises

★ 22. Prove the cancellation law (zákon o krácení) for addition: if a + b = a + c, then b = c.

Your words.

★ 23. Prove: if a + b = a, then b = 0.

Your words.