Общие аксиомы конструктивной геометрии

1) Построено некоторое число неравных между собой фигур Ф1, Ф2, … Фn, удовлетворяющие условиям задачи

2) доказано, что всякая фигура, удовлетворяющая условиям задачи, равна одной из этих фигур. При этом считается, что задача имеет n различных решений.

Если условие задачи предусматривает определённое расположение искомой фигуры относительно какой-либо данной фигуры, то полное решение состоит в построении всех фигур, удовлетворяющих условию задачи (если такие фигуры существуют) в конечном числе.