Pirciò, pi mustrari ca ogni sistema assiumaticu di matimàtica nni fatti cunzistenti, unu abbisogna pi primu di assumiri la cunzistenza di un sistema di matimàtica ca è nnu senzu cchiù forti ca lu sistema di èssiri pruvatu cunzistenti.