Argument

Mizar system

Overview

proof assistant

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Formal language
• Gödel's completeness theorem
• Proof assistant
• Probability theory
• Vernacular
• Classical logic
• Cambridge University Press
• Economics

Place in the tradition

Part of First-order logic.

Explore Mizar system in the interactive graph →