trzy warunki. <br> Po pierwsze, założenia nie mogą być sprzeczne ze sobą. Jeżeli jedno założenie coś stwierdza, a drugie założenie temu samemu przeczy, to z takiego układu założeń wynika cokolwiek. Irracjonalność niszczy logiczne 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