Original: Models have been constructed within Euclidean geometry that obey the axioms of hyperbolic geometry, thus proving that the parallel postulate is independent of the other postulates of Euclid.
Simplified: Models have been constructed within Euclidean geometry that obey the axioms of hyperbolic geometry. These models prove that the parallel postulate is independent of the other postulates of Euclid.