Current Data About
well-founded induction
other details
| description | form of mathematical proof |
| description | form of mathematical proof |