Universal Closure
دیسه‌ای
∀α′(∀α 𝜙α ⊃ 𝜙α′)
∀α′(∀α 𝜙α ⊃ 𝜙α′)


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