Большую часть знаний об окружающей нас действительности мы получаем с помощью рассуждений. Выводы в них будут истинными, если они являются результатами правильных рассуждений, а такими считают рассуждения, построенные по правилам логики. Рассуждения лежат в основе доказательства, без которого трудно представить математику.