2023/02/02 by Wang, Chengpu, Wang, Alice
#51F99 #FOS: Mathematics #G.0 #Logic (math.LO)
paper · doi:10.48550/arxiv.2303.11333
As a much later addition to the original Euclidean geometry, the parallel postulate distinguishes non-Euclidean geometries from Euclidean geometry. This paper will show that the parallel postulate is unnecessary because the 4th Euclidean axiom can already achieve the same goal. Furthermore, using the 4th Euclidean axiom can measure space curvature locally on manifold, while using the parallel postulate cannot.