Тезис доказательства (Асмус, 1954)
Тезисом называется суждение, или положение, истинность (или ложность) которого выясняется посредством данного доказательства. Доказываемый тезис обычно не имеет очевидности. Так, доказываемое в геометрии положение о том, что площадь круга равняется произведению числа π, выражающего отношение длины окружности круга к длине его диаметра, на квадрат радиуса круга, не есть положение самоочевидное. Истинность его обнаруживается доказательством. И так обстоит дело с громадным большинством доказываемых положений.
Даже в случаях, когда доказываемый тезис представляется очевидным, он всё же обычно доказывается (это особенно относится к математике). Так обстоит дело, например, с положением, что диаметром круг делится на две равные части...