سفر شدن سخت‌گیرانه
همچنین شناخته شده با: قاعده تعمیم
برابر انگلیک (انگلیسی): Generalization
دیسه‌ای
⊢ 𝜙
────
∴∀α 𝜙α
⊢ 𝜙
────
∴∀α 𝜙α


تاربرگ‌های پیموده‌شده در این نشست: system ⟩ گوییک‌های فروآموزگاهی ⟩ خشنودی‌پذیری ⟩ گوییک‌گروی ⟩ انگاره‌ی پیوستار ⟩ نیم‌گروه