Positive-integer axiomatic theory has postulates {Peano's postulates} {Peano postulates} {Dedekind-Peano postulates}. "One" is a number. The number "one" is not any number's successor. A number successor is a number. No two numbers have same successor. If "one" has property and if number successor has property, all numbers have property {induction postulate, Peano}.
Mathematical Sciences>Mathematics>Axiomatic Theory>Postulates
3-Mathematics-Axiomatic Theory-Postulates
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224