tokens: Henri Poincaré foi mais cauteloso , dizendo que os números naturais só poderiam ser definidos caso fossem consistentes ; se existe uma prova que começa desses axiomas e chega numa contradição como por exemplo 0 = 1 , então os axiomas são inconsistentes , e não definem nada .