von der Form 
ist,
wobei 
Konzept und 
eine Konzeptbeschreibung ist. Beweise
die nachfolgende Aussage. Jede Terminologie 
läßt sich in eine
Gleichungsterminologie tranformieren, so daß für alle
Konzeptbeschreibungen 
und 
aus 
die
Äquivalenz
gilt.