всі аксіоми є тавтологіями

жодна з аксіом не може бути виведена з інших аксіом системи

існують формули, які можна вивести тільки з певних окремих аксіом

всі аксіоми можна вивести з однієї мета-аксіоми