Tales axiomas se llaman axiomas de completitud.