Generalization
دیسه‌ای
⊢ 𝜙
────
∴∀α 𝜙α
⊢ 𝜙
────
∴∀α 𝜙α


تاربرگ‌های پیموده‌شده در این نشست: George Boole ⟩ greatest lower bound ⟩ groupoid ⟩ Group