Ordbogsopslag

En grundlæggende eksplicit antagelse (formuleret som en sætning¹), der ikke selv kan bevises, men som antages at være sand og hvorfra andre udsagn (teoremer) udledes. Se også postulat.