Mata kuliah ini mempelajari metode axiomatik/deduktif dan penerapannya dalam geometri.Pembahasan meliputi geometri Euclied dan Non Euclied secara deduktif dan rigorous (ketat)