@Uphillman: Lepsi definice mnoziny racionalnich cisel je nasledujici: Q := { q | q = z/n, n ϵ N, z ϵ Z }, pricemz nekdy pridavame pozadavek, ze cisla /z/ a /n/ jsou dale nesoudelna, tedy mnozina racionalnich cisel obsahuje zakladni tvary.
Proc to rikam? Protoze tvoji definici splnuje treba cislo 1/sqrt[2], ktere rozhodne racionalni neni.