Ավելի քան 2000 տարի առաջ հույն մաթեմատիկոս Էվկլիդեսը սկսել է մարդկանց բացատրել, որ ցանկացած մաթեմատիկական դատողություն, վարկած պետք է ապացուցվի։ Ինչքան էլ մի պնդում ճշմարիտ լինի, կա որոշակի հավանականություն, որ այդ պնդումը կարող է նաև լինել կեղծ, այնպես որ համոզված լինելու համար պետք է ապացույց ունենալ։
