Sistem-sistem deduktif lain
Sistem deduktif tidak hanya muncul dalam relasi biner. Matematika adalah studi mengenai berbagai macam sistem deduktif. Jadi ada banyak sekali sistem deduktif yang dapat kamu telaah dalam matematika.
Dalam halaman-halaman berikut kita akan melihat sejumlah contohnya. Pembuktian-pembuktiannya tidak disertakan agar gurumu dapat memberikan PR untukmu.
Berikutnya: Geometri Euclid