Simple axioms that are obviously true in \(\mathbb{N}\)
scientific article; zbMATH DE number 6387865