Revision as of 14:07, 10 September 2013 edit Mgiganteus1 (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 69,389 edits m copyedit intro ← Previous edit		Revision as of 08:54, 17 December 2013 edit undo Omnipaedista (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 267,118 edits add commented out note Next edit →
Line 16: *Induction for formulas all of whose quantifiers are bounded (but which may contain free variables). ==Friedman's grand conjecture<!--'Friedman's grand conjecture' redirects here-->== [[Harvey Friedman]]'s '''grand conjecture''' implies that many mathematical theorems, such as [[Fermat's last theorem]], can be proved in very weak systems such as EFA.

Elementary function arithmetic: Difference between revisions