wnioskowanie w zarodku.<br> Po drugie, założenia powinny być niezależne, tzn. żadne z założeń nie powinno wynikać z pozostałych. Gdyby jakieś założenie wynikało z innych założeń, nie byłoby sensu przyjmować go jako założenia. Byłoby ono twierdzeniem, a nie założeniem.<br> Po trzecie, układ założeń musi być zupełny. To znaczy założenia muszą być odpowiednio bogate, by dało się z nich wyprowadzić jakąś matematyczną teorię. Jeżeli przyjąć odpowiednio bogaty (zupełny), niezależny i niesprzeczny układ założeń, to jednak - cokolwiek by się powiedziało - reszta powinnna być maszynką. Teorię matematyczną wyrażoną w ten sposób, że wszystkie założenia, czyli aksjomaty, są wyraźnie i precyzyjnie sformułowane, a cała reszta jest