Así, si tradicionalmente los axiomas se elegían de entre «afirmaciones evidentes», con el objetivo de deducir el resto de proposiciones, en la moderna teoría de modelos un axioma es solo una asunción, y en modo alguno se considera que la verdad o falsedad de los axiomas dependa del sentido intuitivo que se le pueda atribuir, o se recurre a que puedan ser autoevidentes.