---
tag: 2JD80TE553
kind: concept
name: Elementary function arithmetic
aliases: [elementary-recursive-arithmetic, exponential-function-arithmetic, friedmans-grand-conjecture, grand-conjecture]
sources:
  - wikipedia: en:28037920@r1359766213
    locator: Elementary function arithmetic
    note: adopted
    mention: wikipedia://en/28037920
    sections: [Summary]
same_as:
  wikidata: Q5358906
  wikipedia: Elementary function arithmetic
inventory: [ZEC8JX0DE8]
---

## Summary

In proof theory, a branch of mathematical logic, **elementary function arithmetic** (**EFA**), also called **elementary arithmetic** and **exponential function arithmetic**, is the system of arithmetic with the usual elementary properties of 0, 1, +, ×, $x^y$, together with [[induction|0ASJVEFA9J]] for formulas with bounded quantifiers.