istnieje nieskończenie wiele liczb nieparzystych Brzusiu Kiełbasiany: zdanie: Istnieje nieskończenie wiele liczb nieparzystych przedstawiam jako: (∀z∊Z)((∃x∊N) |2z−1| <x) i pytanie czy dobrze, bo w odpowiedziach jest trochę inaczej, ale nie widzę błędu w swoim zapisie.

Brzusiu Kiełbasiany: @up

b.: niedobrze

Brzusiu Kiełbasiany: hmm, dlaczego?

b.: Tu jest tylko zapisane, że dla każdej liczby postaci |2z−1| istnieje liczba naturalna większa od niej. Nie ma żadnego związku z ilością liczb postaci |2z−1|, dla każdej liczby rzeczywistej istnieje liczba naturalna większa od niej.

Adam: ∀(n: n∊N) ∃(A: A⊂Z ⋀ |A|=n)

Adam: A⊂{2x−1 : x∊Z}