Aksiom: Perbezaan antara semakan

Aksiom logik biasanya ialah pernyataan yang diterima secara universal sebagai benar (e.g., ''A'' dan ''B'' mengimplikasikan ''A''), sementara aksiom tidak logik (e.g., {{nowrap|1= ''a'' + ''b'' = ''b'' + ''a''}}) sebenarnya menentukan sifat domain untuk teori matematik yang khusus (seperti [[aritmetik]]). Apabila digunakan dalam pengertian yang kedua (aksiom tidak logik), "aksiom", "postulat", dan "anggapan" mungkin digunakan untuk maksud yang sama. Secara amnya, aksiom tidak logik bukan satu kebenaran yang tak dapat disangkal, tetapi satu ungkapan logik formal yang digunakan dalam deduksi untuk membina teori matematik. Istilah “untuk mengaksiomkan” adalah bermaksud menunjukkan yang sesuatu dakwaan atau pernyataan boleh diterbitkan dari set kecil ayat-ayat (aksiom) yang mudah difahami.

 

* Mendelson, Elliot (1987). ''Introduction to mathematical logic.'' Belmont, California: Wadsworth & Brooks. ISBN 0-534-06624-0

 

 

[[als:Axiom]]