نیمگروه برابر انگلیک (انگلیسی): semigroup گسترشها monoid تاربرگهای پیمودهشده در این نشست: system ⟩ Sub-classical logics ⟩ satisfiability ⟩ logicism ⟩ Continuum hypothesis