KELENGKAPAN TEORI AKSIOMATIS

Kelengkapan Teori Aksiomatis

Kelengkapan teori aksiomatis adalah tuntutan logis dan metodologis agar dalam semua teori yang dibentuk secara aksiomatis, kebenaran dari tiap-tiap proposisi dibuktikan (yaitu dideduksikan dari aksioma-aksioma) bagi sistem aksiomatis dan formal yang ada. Dalam proses penelitian teori-teori aksiomatis yang cukup lengkap (aritmetika, misalnya) ternyata teori-teori itu pada prinsipnya tidak lengkap (Goedel, dalam tahun 1931). Teori-teori itu memuat pernyataan-pernyataan yang tidak dapat dibuktikan atau tidak dapat menunjukkan bahwa memang tidak perlu dibuktikan dalam kerangka kerjanya. Memang kelengkapan tidaklah menjadi syarat mutlak aksiomatisasi yang berhasil, berfaedah: teori-teori yang tidak lengkap bisa diterapkan secara praktis.

Incoming search terms:

• pengertian sistem aksiomatis
• teori aksiomatis
• contoh aksiomatis
• Pengertian aksiomatis