Revision as of 03:35, 26 September 2021 edit Yitzilitt (talk \| contribs) Extended confirmed users 2,750 edits Importing Wikidata short description: "System of arithmetic in proof theiry" (Shortdesc helper) ← Previous edit		Revision as of 17:15, 20 October 2021 edit undo Beland (talk \| contribs) Autopatrolled, Administrators 259,081 edits whitespace, and {{math}} to prevent line breaks inside expressions Next edit →
Line 12: *a binary relation symbol < (This is not really necessary as it can be written in terms of the other operations and is sometimes omitted, but is convenient for defining bounded quantifiers). '''Bounded quantifiers''' are those of the form {{math\|∀(x < y)}} and {{math\|∃ (x < y)}} which are abbreviations for {{math\|∀ x (x < y) → ...}} and {{math\|∃x (x < y)∧...}} in the usual way. The axioms of EFA are

Elementary function arithmetic: Difference between revisions