>>699
平行線の公理が他の公理より回りくどい表現だったせいで他の公理から導けるのではないか?
という疑いが大昔にあってだな…以下略