Deduction
Connection
Entailment
Logical consequence
Metalogic
Valuation
Symbol
Constructible universe
Ordinal number
Logic
Abstract algebra
Mathematics