Cuarto principio de matemática.