Tal axioma se llama el axioma de completitud.