Una axiomatización interesante debe identificar algunas pocas proposiciones o axiomas básicos que pueden permitan deducir la teoría completa: