можно построить

• A consistent non-Euclidean geometry is constructible.