aritmética de função elementar
Sign in to savesystem of arithmetic in proof theiry
Article · Português
Em teoria da prova, que é um ramo da lógica matemática, aritmética de função elementar, também chamada de AFE (EFA), aritmética elementar ou aritmética de função exponencial, é o sistema da aritmética com propriedades elementares habituais de 0, 1, +, ×, xy, em conjunto com a indução para fórmulas com quantificadores limitados. A AFE é um sistema lógico muito fraco, cujo ordinal da prova teórica é ω3, mas ainda parece ser capaz de provar muito da matemática ordinária que pode ser expressa em linguagem aritmética de primeira-ordem.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
semantic theory of truth
Entity
mathematical logic
Entity
Peano axioms
Entity
first-order logic
Entity
formal system
Entity
recursive set
Entity
semantics of logic
Entity
free and bound variables
Entity
structure
Entity
ground expression
Entity
diagram
Entity
logic
Entity
International Standard Book Number
Entity
set theory
Entity
function
Entity
set
Entity
axiom
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
theorem
Entity