cetvel aksiyomu

• bir doğrunun noktalarıyla, gerçel sayılar arasında bire-bir eşleme kurulabileceğine ilişkin aksiyomdur.
  eşleme şu koşulları sağlar:
  1) doğrunun her noktasına yalnızca bir gerçel sayı eşlenir.
  2) her gerçel sayıya bir tek nokta eşlenir.
  3) doğru üzerindeki iki nokta arasındaki uzaklık, bu noktalarla eşlenen gerçel sayıların farkının mutlak değeridir.
  cetvel aksiyomu sayesinde, bir doğru üzerindeki bir nokta ile bu noktayla eşlenen gerçel sayı birbirinin yerine kullanılabilirler. örneğin a2 denilince, yerine göre, 1,4142... irrasyonel sayısı (ki gerçel bir sayıdır) ya da bu sayıya karşı gelen nokta (ki doğru üzerindedir) anlaşılır.