Theory of pure equality
id:
theory-of-pure-equality-314-322854
title:
Theory of pure equality
text:
In mathematical logic the theory of pure equality is a first-order theory. It has a signature consisting of only the equality relation symbol, and includes no non-logical axioms at all. This theory is consistent but incomplete, as a non-empty set with the usual equality relation provides an interpretation making certain sentences true. It is an example of a decidable theory and is a fragment of more expressive decidable theories, including monadic class of first-order logic and monadic second-or
brand slug:
wiki
category slug:
encyclopedia
description:
Decidable theory of equality
original url:
https://en.wikipedia.org/wiki/Theory_of_pure_equality
date created:
date modified:
2024-02-01T12:49:32Z
main entity:
{"identifier":"Q7782446","url":"https://www.wikidata.org/entity/Q7782446"}
image:
fields total:
13
integrity:
14