Sistem aksiom

Dalam bidang matematik, satu sistem aksiom ialah sebarang set aksiom yang mana sebahagian atau semua aksiom daripadanya boleh digunakan serentak untuk melahirkan teorem-teorem baru mengggunakan kaedah logik. Suatu teori matematik mengandungi satu sistem aksiom dan kesemua teorem yang diterbitkan daripadanya. Sebuah sistem aksiom yang telah diterangkan dengan lengkap adalah sejenis sistem formal yang istimewa, namun biasanya usaha kepada pemformalan yang lengkap boleh mengurangkan kepastian dan akhirnya tidak boleh dibaca oleh manusia. Oleh itu perbincangan mengenai sistem aksiom biasanya separa formal.

Matematik