Aksiyom ispatlanabilir mi?
Matematiksel yollarla doğruluğu ispatlanabilen ifadeler teorem olarak adlandırılırken (Taylor & Garnier, 2014) doğru veya yanlış olduğu ispatlanabilen ifadeler önerme olarak adlandırılmaktadır (Kuşlu, 2016). Matematiksel olarak ispat gerektirmeyen, doğruluğu kabul edilen ifadelere aksiyom denir (Gerstein, 2012).
Matematiksel yollarla doğruluğu ispatlanabilen ifadeler teorem olarak adlandırılırken (Taylor & Garnier, 2014) doğru veya yanlış olduğu ispatlanabilen ifadeler önerme olarak adlandırılmaktadır (Kuşlu, 2016). Matematiksel olarak ispat gerektirmeyen, doğruluğu kabul edilen ifadelere aksiyom denir (Gerstein, 2012).