In a formal deductive system, a proposition accepted without proof, from which other propositions are deduced by the conventional methods of formal logic. There is a certain arbitrariness as to which propositions are to be treated as postulates, because when certain proved propositions are treated as such, other propositions which were originally postulates often become proved propositions.