Euklids fire første postulater ble lenge betraktet som selvinnlysende. Det femte postulatet, parallellpostulatet, skapte imidlertid hodebry og kontroverser. Mange matematikere var misfornøyd med dette postulatet og forsøkte enten å finne alternative formuleringer eller å bevise det ved hjelp av de fire første postulatene. Både Ptolemaios og Proklos forsøkte å finne et slikt bevis. Under dette arbeidet ble det oppdaget mange alternative formuleringer av det femte postulatet. En ofte brukt formulering ble først gitt av Proklos og kalles i dag Playfairs aksiom, etter den skotske matematikeren John Playfair.