Provable

Sorry, we're still building and haven't quite gotten to this subject yet.

Related Phrases

Completeness Theorem

Deductive System

Effectively Generated Theory

Elimination Rules

Gödel's Incompleteness Theorems

Introduction Rules

Mathematical Proof

Natural Deduction

Related Words