- Applied mathematics
- >
- Theoretical computer science
- >
- Formal languages
- >
- Formal theories

- Combinatorics
- >
- Combinatorics on words
- >
- Formal languages
- >
- Formal theories

- Deductive reasoning
- >
- Metalogic
- >
- Formal languages
- >
- Formal theories

- Fields of mathematics
- >
- Mathematical logic
- >
- Formal languages
- >
- Formal theories

- Philosophy of mathematics
- >
- Formalism (deductive)
- >
- Formal languages
- >
- Formal theories

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Formal languages
- >
- Formal theories

Free theory

No description available.

Theory of pure equality

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

Mathematical theory

A mathematical theory is a mathematical model of a branch of mathematics that is based on a set of axioms. It can also simultaneously be a body of knowledge (e.g., based on known axioms and definition

Theory (mathematical logic)

In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. In most scenarios, a deductive system is first understood from context, after which an element

© 2023 Useful Links.