Axiomatická teorie množin: Porovnání verzí

 

=== Celá čísla ===

Máme-li definovaná přirozená čísla, pak by se mohlo zdát přirozené reprezentovat záporné číslo <math> -n </math> jako <math> (0, n) </math>. To však nelze, protože pro některá přirozená čísla <math> m, n </math> by mohlo platit <math> m = (0, n) </math><!--<ref group=pozn>Mějme množiny <math>\scriptstyle \left( n+1 \right) = \left\{ \emptyset , \left\{ n \right\} \right\}</math> a <math>\scriptstyle \left( -n \right) = \left\{ \emptyset , \left\{ n \right\} \right\}</math>. Pak zjevně platí <math>\scriptstyle \left( n+1 \right) = \left( -n \right)</math>.</ref>-->.