[
return to viewing 'principle of finite induction proven from the well-ordering principle for natural numbers'
]
| diff |
2006-03-06 14:44:06
- revision [
Version 4 --> Version 5
]
by
smw
| Changes for correction #7574 ('not the "well-ordering principle"'). |
|
|