Los teoremas son proposiciones lógicamente deducibles de los axiomas.