Search results
Results from the WOW.Com Content Network
Suppose, to the contrary, that there is a function, f, on the natural numbers with f(n+1) an element of f(n) for each n.Define S = {f(n): n a natural number}, the range of f, which can be seen to be a set from the axiom schema of replacement.
It became the standard foundation of modern mathematics, and, unless the contrary is explicitly specified, it is used in all modern mathematical texts, generally implicitly. Simultaneously, the axiomatic method became a de facto standard: the proof of a theorem must result from explicit axioms and previously proved theorems by the application ...