Universal Instantiation
دیسه‌ای
∀α 𝜙α ⊃ 𝜙β
∀α 𝜙α ⊃ 𝜙β


تاربرگ‌های پیموده‌شده در این نشست: sound ⟩ Shawn Hedman ⟩ uniform substitution ⟩ strong completeness ⟩ Syntactical completeness