First-order theories with identity
Statement
A first-order theory is a first-order theory with identity if includes the identity relation symbol "=" and the reflexivity and substitution axiom schemes for this symbol.
Further reading
- Wikipedia, page 3512103, revision 1374090027, Theory (mathematical logic), section First-order theories > First-order theories with identity. adopted
About this page
| Tag | 9T8WK38ZK8 |
|---|---|
| URI | m2://9T8WK38ZK8 |
| Kind | statement, proposition |
| Writing | W0 stub |
| Status | This copy of the site has no build data. Run m2 status 9T8WK38ZK8. |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- edge uses out: each definition that the statement needs (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.