The enunciation of a self-evident problem, in distinction from an axiom, which is the enunciation of a self-evident theorem.