Matematiksel Mantık ve Model Teorisinde Temelsizlik
Temelsizlik, matematiksel mantıkta ve model teorisinde, bir ifadenin veya formülün belirli bir sistem içinde kanıtlanamaz olma özelliğini tanımlamak için kullanılan bir kavramdır. Yani sistemin aksiyomlarından çıkarılamayan bir ifadedir.
Örneğin "bu cümle yanlıştır" ifadesi klasik önermeler mantığında temelsizdir, çünkü sistem içerisinde ispatlanamaz veya çürütülemez. Benzer şekilde Zermelo-Fraenkel küme teorisinde süreklilik hipotezi temelsizdir çünkü sistem içinde kanıtlanamaz. yanlış ama kanıtlanamaz. Başka bir deyişle asılsızlık, belirli bir sistem içinde kanıtlanamayan ancak yine de doğru olabilecek ifadeleri tanımlamanın bir yolunu sağlar.
Bunu beğendim
Bunu beğenmedim
İçerik hatası bildir
Paylaş
