Em primeiro lugar, deveríamos de facto envidar esforços para criar, a longo prazo, um sistema matemático que não esteja constantemente sujeito a renegociações.
První, skutečně bychom měli pracovat na vytvoření logického systému z dlouhodobého hlediska, o kterém nebudeme muset stále znovu jednat.