Tarih: 2022-10-10
Kategorisi: Felsefe Sözlüğü
Aksiyomlaştırma, teorinin belirli ifadelerinin, türetme kuralları vasıtasıyla, diğer teoremlerin elde edilebileceği 'aksiyomlar' olarak etiketlenmesi ile başlar. Aksiyomların seçimi pragmatik düşüncelerle motive edilir (sadelik, şıklık, bağımsızlık, tutarlılık ve benzeri).18 Mar 2019