Difference between revisions of "Natural Numbers:Postulates"
Jump to navigation
Jump to search
(Created page with "==Peano's Axioms for the Natural Numbers== # 1 is a natural number. # For every natural number <math> n </math>, the successor to <math> n </math> (<math> n + 1 </math>) is al...") |
|||
| Line 1: | Line 1: | ||
==Peano's Axioms for the Natural Numbers== | ==Peano's Axioms for the Natural Numbers== | ||
# 1 is a natural number. | # 1 is a natural number. | ||
| − | # For every natural number <math> n </math>, the successor to <math> n </math> (<math> n + 1 </math>) is also a natural number. | + | # For every natural number <math> n </math>, the successor to <math> n </math>, (<math> n + 1 </math>), is also a natural number. |
# 1 is not a successor to any natural number. | # 1 is not a successor to any natural number. | ||
# If two numbers <math> n_1 </math> and <math> n_2 </math> have the same successor, then <math> n_1 = n_2 </math>. | # If two numbers <math> n_1 </math> and <math> n_2 </math> have the same successor, then <math> n_1 = n_2 </math>. | ||
# If a set <math> S </math> contains 1, and also contains the successor of every element <math> n </math> in <math> S </math>, then every natural number is in <math> S </math>. | # If a set <math> S </math> contains 1, and also contains the successor of every element <math> n </math> in <math> S </math>, then every natural number is in <math> S </math>. | ||
Revision as of 11:22, 1 October 2021
Peano's Axioms for the Natural Numbers
- 1 is a natural number.
- For every natural number Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n } , the successor to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n } , (), is also a natural number.
- 1 is not a successor to any natural number.
- If two numbers and have the same successor, then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n_1 = n_2 } .
- If a set Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } contains 1, and also contains the successor of every element Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n } in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } , then every natural number is in Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S } .
