matematikte her şeyin kesin ve doğru olması için her bir teorem doğruluğu ispatlanmış başka teoremlere dayandırılarak ispatlanmaya çalışılır. ne var ki iş eninde sonuda ispatlanması pek mümkün olmayan kabullere gelir ki bunlara aksiyom denir. mesela öklit'i̇n aksiyomlarından "aynı şeye eşit olan şeyler birbirlerine de eşittirler." ifadesine aklımız pek yanlış olma ihtimali vermez ama bu basit ifadeyi her şey için ispatlamak da zordur.
