Аксиома: через три точки, не лежащие на одной прямой, проходит плоскость, притом только одна.
Если точки A, B, O не лежат на одной прямой, то они однозначно задают плоскость и окружность на ней.
Около треугольника можно описать только одну окружность.
Таким образом точка С лежит на данной окружности в плоскости ABO.
Аксиома: через прямую и не лежащую на ней точку проходит плоскость, притом только одна.
Если точки A, B, O лежат на одной прямой (AB - диаметр), то через прямую AO и не лежащую на ней точку C проходит плоскость.
