予想
証明はされていないが、おそらく真であろうと考えられている命題。