نمونه‌سازی هرگانی
همچنین شناخته شده با: تخصیص کلی
برابر انگلیک (انگلیسی): Universal Instantiation
دیسه‌ای
∀α 𝜙α ⊃ 𝜙β
∀α 𝜙α ⊃ 𝜙β


تاربرگ‌های پیموده‌شده در این نشست: دیسول بارکن ⟩ هاگرد دیسول بارکن ⟩ نمودار ⟩ بوندگی افماریک کارکردی رایه‌ی یکم ⟩ نبیگ فشرده در افماریک جبر و تراز کردن ⟩ هستی