Tanım: Beş temel aksiyoma (ispatlamadan doğru olarak kabul edilen bilgi veya önerme) dayanan ve bu aksiyomlar yoluyla yeni teorilere ulaşılmasını sağlayan, Öklid'in Elementler kitabında tanımladığı matematik sistemi. Bugün okullarda görülen , uzayı üç boyutlu kabul eden, nokta, doğru, düzlem gibi konuları işleyen geometri Öklid Geometrisidir
Tanım: Öklid geometrisinin "Eğer bir doğru iki doğruyu kesiyorsa ve iç açıların toplamı iki dik açıdan küçük olan tarafından sonsuza devam edildiğinde , iki doğru mutlaka kesişirler" şeklinde belirtilen aksiyomu. Bu ifade paralel olmayan doğruların kesinlikle kesişeceğini, paralel olan doğruların ise hiç bir zaman kesişmeyeceğini belirtir.
