El segundo requisito no podía combinarse con el primero de forma razonable, mientras el sistema axiomático sea genuinamente finito.