Necesitaremos axioma o axiomas adicionales.