تاربرگ‌های پیموده‌شده در این نشست: eidetic Modal Axiom B چندبار شونده بزرگترین کران پایین