Peano axioms (
|
talk |
history |
links |
watch |
logs)
review
Nominated by:
CMummert ·
talk 00:07, 23 March 2007 (UTC)
reply
Result: Promoted to A class. Consensus is solidly in favour. —
Kaustuv Chaudhuri 01:11, 10 April 2007 (UTC)
reply
In an inductive definition, the proof that the function F is unique is an easy proof by mathematical induction and will be left as an exercise. However, the proof that the function F exists uses set theoretical techniques that we shall not discuss here.