theorem
برابر انگلیک (انگلیسی): theorem


تاربرگ‌های پیموده‌شده در این نشست: توان‌ذهنی ⟩ A⥽(B∨¬B) ⟩ چماریک‌های پیوندی ⟩ کامندگی ⟩ ماینونگ‌گروی