Twierdzenie proste
Z Wikipedii
Pojęcie używane w logice matematycznej; mówiąc o twierdzeniu przeciwnym, przeciwstawnym czy odwrotnym do wyjściowego, to wyjściowe nazwać można prostym. Np. "twierdzenia: przeciwstawne i proste są sobie zawsze równoważne".