It is the modern replacement for Euclid’s 5th postulate (parallel postulate).