Kolik je 2-3 aneb konstrukce celých čísel

Co si přečíst před tímto článkem – článek o počítání v \(\mathbb{N}\).

Některé rovnice nemají v \(\mathbb{N}\) řešení

Už jsme se naučili spočítat, kolik je \(2+2\). Vlastně jsme si vymysleli nekonečně mnoho různých symbolů, kterými jsme doposud byli zvyklí počítat věci.

Pokračovat ve čtení “Kolik je 2-3 aneb konstrukce celých čísel”

Kolik je 2+2 aneb konstrukce přirozených čísel

Jak víme, že jedna plus jedna je dva? Tak, že jsme se domluvili, že nějak budeme chápat symboly „\(1\)“, „\(+\)“, „\(2\)“ a „\(=\)“.

Pokud se na něčem v matematice dohodneme (a neodvozujeme to z jiných věcí), řekneme tomu něčemu axiom. Axiom je tvrzení, které se nedokazuje a z něj odvozujeme další různá tvrzení.

Pokračovat ve čtení “Kolik je 2+2 aneb konstrukce přirozených čísel”