Advertisement

Teori Aksiomatis Non-Kontradiksi

Ada dua non-kontradiksi jenis teori aksiomatis: non-kontradiksi teori aksiomatis non-kontradiksi sintaksis dan semantik. Sebuah teori dikatakan non-kontradiksi secara sintaksis jika satu proposisi dan penyangkalannya tidak secara serempak diduksikan di dalamnya. Sebuah teori dikatakan non-kontradiksi secara semantik jika teori itu mempunyai sedikitnya satu model, yaitu suatu bidang tertentu dari objek-objek yang memenuhi teori bersangkutan. Pelanggaran syarat non-kontradiksi teori itu tidak sah, karena tidak mungkin membuktikan pernyataan mana pun dalam teori itu.