Elementary definition
id:
elementary-definition-322-1054542
title:
Elementary definition
text:
In mathematical logic, an elementary definition is a definition that can be made using only finitary first-order logic, and in particular without reference to set theory or using extensions such as plural quantification. Elementary definitions are of particular interest because they admit a complete proof apparatus while still being expressive enough to support most everyday mathematics. Saying that a definition is elementary is a weaker condition than saying it is algebraic.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Elementary_definition
date created:
date modified:
2024-04-08T00:49:39Z
main entity:
{"identifier":"Q5358901","url":"https://www.wikidata.org/entity/Q5358901"}
image:
fields total:
13
integrity:
13