• bir matematiksel mantık kuramıdır. kendisi model theory'ye göre daha bi' sözdizimseldir. proof theory'de matematiksel nesneler tam/sağın tanımlanıp açık ve seçik fonksiyonlar belirtir; bunun yanı sıra model theory, pt'ye göre, daha semantik hamlelere imkan tanımaktadır.
hesabın var mı? giriş yap