Kanıtlanmamış belitlere ve tanımlanmamış öğelere dayalı biçimsel bir yapı içinde doğru önermeleri elde etme yöntemi.