Models have been constructed within MISC@1 geometry that obey the axioms of hyperbolic geometry , thus proving that the parallel postulate is independent of the other postulates of LOCATION@1 .

Models have been constructed within MISC@1 geometry that obey the axioms of hyperbolic geometry . These models prove that the parallel postulate is independent of the other postulates of LOCATION@1 .
