Sei > eine fundierte Relation ueber einer Menge M und sei A(m) eine Aussage ueber Objekte m aus M.

Falls fuer alle m aus M gilt:
   Wenn A(k) fuer alle k aus M mit m>k gilt, dann gilt auch A(m).
Dann gilt die Aussage A(n) fuer alle n aus M.