Skip to content
EntityQ7020589· pop 85

Category:Mathematical logic

Sign in to save

Wikimedia category

Wikidata facts

Show 3 more facts
Commons category
Mathematical logic
category's main topic
mathematical logic
category populated by
Template:Mathematical logic

via Wikidata · CC0

~1 min read

Encyclopedic overview

Mathematical logic is the study of formal logic within mathematics. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power.

Mathematical logic is divided into four parts:

Excerpted from Wikipedia’s “Category:Mathematical logic” article, available under the CC BY-SA 4.0 licence.