KAERO: Pokud je na to ISO standard, tak se samozřejmě nebudu hádat, ale za celej svůj život se s tím teď setkávám poprvé...
Nicméně to, že autor obrázku potichu připouští existenci více než jednoho řešení lineární rovnice o jedné neznámé nad přrozenými čísly mi pořád přijde zvláštní. A když se podívám na Peano's Axioms na wikipedii, tak zjišťuji, že ta formulace "at least one" tam u definice uspořádání chybí a autor si ji přidal, asi aby to znělo učeněji:
The usual total order relation ≤ on natural numbers can be defined as follows, assuming 0 is a natural number:
For all a, b ∈ N, a ≤ b if and only if there exists some c ∈ N such that a + c = b.
Na funkci rostlináře to samozřejmě vliv nemá, ale mě to dráždí :)