Logika i teoria mnogości/Test 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek

NIE

Czy istnieje liczba całkowita będą zbiorem skończonym?

TAK Źle

NIE Dobrze

NIE

Czy istnieją cztery liczby naturalne $m,n,o,p$ takie, że $(m,n)\approx (o,p)$ i $m<n$ oraz $o\ge p$?

TAK Źle

NIE Dobrze

NIE

Czy istnieją liczba całkowita $[(m,n){]}_{\approx }$ i liczba wymierna $[(a,b){]}_{\sim }$ takie, że $[(m,n){]}_{\approx }=[(a,b){]}_{\sim }$?

TAK Źle

NIE Dobrze

TAK

Czy dla dowolnych liczb naturalnych $m,n,o,p$ jeśli $o\ne p$ to $[([(m,n){]}_{\approx },[(o,p){]}_{\approx }){]}_{\sim }$ jest liczbą wymierną?

TAK Dobrze

NIE Źle

NIE

Czy prawdą jest, że dla liczb wymiernych mamy $-[(a,b){]}_{\sim }=[(b,a){]}_{\sim }$?

TAK Źle

NIE Dobrze

TAK

Czy każda liczba całkowita jest zbiorem par liczb naturalnych?

TAK Dobrze

NIE Źle

TAK

Czy każda liczba wymierna jest zbiorem par liczb całkowitych?

TAK Dobrze

NIE Źle

TAK

Czy każda liczba rzeczywista jest rodziną zbiorów par liczb wymiernych?

TAK Dobrze

NIE Źle

TAK

Jeśli $a$ jest dowolną liczbą wymierną, to, czy dla dowolnej liczby rzeczywistej $r$ mamy $a\in \bigcup \bigcup \bigcup r$?

TAK Dobrze

NIE Źle

NIE

Jeśli $a$ jest liczbą wymierną, a $k$ włożeniem $\mathbb{\mathbb{Q}}$ w $\mathbb{ℝ}$ to, czy dla każdej funkcji $f\in k(a)$ mamy $a\in \overrightarrow{f}(\mathbb{\mathbb{N}})$?

TAK Źle

NIE Dobrze

TAK

Czy dla dwóch funkcji $f,g:\mathbb{\mathbb{N}}\to \mathbb{\mathbb{Q}}$ takich, że $f(i)<g(i)$ dla każdego $i\in \mathbb{\mathbb{N}}$ może zachodzić $f\simeq g$?

TAK Dobrze

NIE Źle