Si se selecciona un conjunto más amplio o menos amplio de axiomas el conjunto de teoremas deducibles cambian.