Hipotez ve hüküm ne demek? Teoremler çoğu zaman birer koşullu önerme formunda olurlar. Bu formdaki bir teoremde önermesine hipotez (varsayım), önermesine ise hüküm adı verilir.