Temel Özellikler:
Tutarlılık (Consistency): İç tutarlılık esastır. Teoremler birbirleriyle çelişmemeli ve aksiyomlardan mantıksal olarak çıkarılmalıdır. Bir sistemde çelişki varsa, tüm sistem çöker.
Tamlık (Completeness): Sistemin, kendi içinde ele alındığı konularda tüm doğru önermeleri...