Coba jelasin Klasifikasi aksioma dari Sistem aksioma dong

Material artinya unsur-unsur dan relasi-relasi yang terdapat dalam aksioma dikaitkan langsung dengan realitas atau materi tertentu yang dianggap sudah diketahui.

Formal artinya unsur dikosongkan dari arti, tetapi masih memungkinkan adanya unsur atau relasi yang dinyatakan dengan bahasa biasa, antara lain masih bermaknanya kata “atau”, “dan”, dan sebagainya dalam logika.

Diformalkan artinya semua unsur termasuk tanda logika dikosongkan dari makna, sedemikian sehingga semua unsur diperlakukan sebagai simbol belaka.