Menarik kesimpulan
Graf berarah Krucing yang menampilkan ketiga aksioma pertama.
Pernyataan yang kita miliki hingga saat ini baru sejumlah tiga yaitu ketiga aksiomanya. Hanya tiga pernyataan ini yang kita ketahui benar (atau setidaknya diasumsikan benar). Tujuan kita adalah mencari kebenaran dari keenambelas pernyataan yang mungkin dibuat.
Tidak tentu semuanya bisa diketahui, tetapi setidaknya kita ingin mengetahui lebih dari yang tiga ini. Baiklah, sekarang waktunya kita akan menarik kesimpulan. Sudah siap?
Berikutnya: Teorema