دسترسی به این تاربرگ بسته شده است.

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


تاربرگ‌های پیموده‌شده در این نشست: هرگانی