Concept information
Preferred term
mathematical logic
Definition
-
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Mathematical_logic)
Narrower concepts
- Boolean algebra
- computability theory
- De Morgan's laws
- expression
- first-order predicate calculus
- formal proof
- formula
- Gödel's completeness theorem
- Gödel's incompleteness theorem
- higher-order logic
- logical constant
- logical equivalence
- model theory
- Peano axioms
- proof theory
- propositional calculus
- successor function
- synthetic geometry
In other languages
-
French
URI
http://data.loterre.fr/ark:/67375/PSR-NRJSM1FG-4
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}