اندرهازش یک انگاشته

همچنین شناخته شده با: معرفی یک فرض
برابر انگلیک (انگلیسی): IL.H.05 IL.K.01 Introduction of an assumption PL.FL.1
دیسه‌ای
𝐴⊃(𝐵⊃𝐴)
A⊃(B⊃A)


تاربرگ‌های پیموده‌شده در این نشست: گروه آبلی کاژیمیژ آیدوکویچ برنده‌ی راستی جان ام. ای. مک‌تاگارات آپارگر بستار جبر هیتینگ