Asumsi dasar tentang suatu sistem matematis yang darinya teorema dapat diturunkan. Misalnya, sistem tersebut dapat berupa titik dan garis pada bidang. Maka suatu aksioma adalah bahwa untuk dua titik berbeda mana pun pada bidang, terdapat satu garis tunggal yang melaluinya.