در یک مسئله به اطلاعاتی که به ما داده است «فرض» گفته میشود. و خواسته مسئله را «حکم» مینامند.
مثال:
«در هر مثلث متساوی الساقین، زاویه های مجاور قاعده برابرند.»
طبق این مسئله اطلاعاتی که به ما داده اینه که مثلث ما متساوی الساقین است.
پس با توجه به تعریف فرض اینکه مثلث ما متساوی الساقین است میشه فرض.
و ما باید در این مسئله ثابت کنیم که زاویه های مجاور قاعده برابرند. پس این میشه خواسته مسئله یعنی همون حکم.