V odborném vyjadřování: přímo na základě vymezení pojmu, tedy jako závěr, který plyne už ze samotné definice a nevyžaduje další dokazování.
V logice a matematice: tvrzení je pravdivé jen díky tomu, jak jsou zavedené pojmy, jde o definicionální závěr, nikoli o něco zjištěného pozorováním či výpočtem.