Glosarium

Aksioma

Asumsi dasar yang tidak perlu dibuktikan.

Postulat

Pernyataan dasar yang tidak perlu dibuktikan, pada dasarnya sama dengan aksioma.

Geometri Euclid

Geometri yang dirumuskan oleh Euclid yang dimulai dengan 23 definisi, 5 hal umum, dan 5 postulat, dan berdasarkan itu dapat dihasilkan kesimpulan-kesimpulan yang membentuk pengetahuan geometri pada bidang dan ruang datar.

Geometri non-Euclidean

Sistem geometri yang sebagian postulatnya berbeda dengan geometri Euclid.

Sintaks

Aturan penyusunan kata menjadi kalimat yang utuh. Lebih umum lagi, aturan penyusunan simbol menjadi rangkaian simbol yang sah dalam satu sistem. Sintaks hanya menghasilkan kalimat yang sah, tetapi kalimat yang dihasilkan tidak harus benar maupun masuk akal.

Berikutnya: Referensi