Man könnte freilich nach jedem mathematischen Satz sagen “per definitionem”. Und so wäre, wenn man z.B.
nach
auf
Skolems Art vorgeht, 250 + 3220 = 3470 einfach eine abgeleitete Definition.