Bir matematiksel sistemde aksiyomların tutarlı olması ne anlama gelir?
A) Tüm aksiyomların sezgisel olarak açık olması
B) Sistemden hem bir önermenin hem de onun olumsuzunun çıkarılamaması
C) Aksiyomların mümkün olduğunca az sayıda olması
D) Tüm aksiyomların birbirinden bağımsız olması
