Dalam
artikel di atas, Sebuah model
matematika untuk sistem aksiomatik adalah satu set yang didefinisikan dengan
baik, yang memberikan arti untuk istilah terdefinisi disajikan dalam sistem,
dengan cara yang benar dengan hubungan didefinisikan dalam system . dengan
model ini, juga dapat digunakan untuk menunjukkan kemerdekaan
aksioma dalam sistem. Dengan membangun sebuah model valid untuk subsistem tanpa
aksioma tertentu, kami menunjukkan bahwa aksioma dihilangkan adalah independen
jika kebenarannya tidak harus mengikuti dari sub system.
No comments:
Post a Comment