sin förklaring : axiom- «clt påstående , hvars sanning inses utan bevis« ; theorem- «ctt påstående , hvars sanning beböfver bevisas«.