Для того чтобы математические суждения воспринимались как точные и недвусмысленные, необходимо прежде всего, чтобы таковыми были те понятия, которые в этих суждениях используются. Суждения облекаются в словесную форму в виде предложений, а понятия – в виде терминов. Таким образом, каждый термин должен иметь, во-первых, точно очерченный смысл. Во-вторых, смысл должен быть только один. Что же в действительности происходит с математическими терминами?

Надо признать, что смысловая точность реально достигается лишь в профессиональных, высокоучёных математических текстах, в повседневной же практике – отнюдь не всегда. Чем точнее очерчен смысл термина, тем убедительнее использующие этот термин доказательства. Однозначности терминов также, к сожалению, не наблюдается. Возьмём, к примеру, такой распространённый термин, как «многоугольник». Его понимают по-разному: и как любую замкнутую ломаную, и как самонепересекающуюся замкнутую ломаную (и то и другое ещё надо определять!), и как часть плоскости, ограниченную ломаной. Если вдуматься, то выражение «часть плоскости, ограниченная ломаной» нуждается в разъяснении, а тот факт, что такая часть существует, – ещё и в доказательстве, каковое оказывается довольно непростым (сам этот факт представляет собой частный случай так называемой теоремы Жордана, касающейся не только ломаных, но и замкнутых линий вообще). Тем не менее именно в таком, достаточно наглядном и потому оставляемом без разъяснения смысле термин «многоугольник» понимается в настоящем очерке (а потому все излагаемые здесь рассуждения о многоугольниках убедительны лишь постольку, поскольку ясен смысл термина).

Или термин «угол». Вот несколько различных значений этого термина:

(1) 'два луча, исходящих из одной точки';

(2) 'угол в значении (1) плюс одна из двух частей, на которые им разбивается плоскость';

(3) 'поворот луча';

(4) 'мера угла в значении (1)' (так понимают этот термин, когда говорят о сумме углов треугольника или произвольного выпуклого многоугольника);

(5)'мера угла в значении (2)' (так понимают этот термин, когда говорят о сумме углов произвольного многоугольника, не обязательно выпуклого);

(6) 'мера угла в значении (3)' (так понимают этот термин, когда говорят об отрицательных углах и об углах, бóльших или равных 360°).

Заметим, что отнесение к углу как геометрической фигуре его меры как числа представляет собою с позиций Высокой Науки довольно сложную процедуру.

В дальнейшем изложении встретятся три важных неоднозначных термина. Это термины «натуральное число», «натуральный ряд» и «равно».