Euklids fire første postulater ble lenge betraktet som selvinnlysende. Det femte, 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.