Even in Euclid, who has always been justly recognized to be the master of this synthetic kind of cognition, we find under the name of axiom a presupposition about parallel lines that some have held to be in need of proof, and various attempts have been made to fill this lack.