23.4.16.
Die obige Definition handelt aber gar nicht von allen Sätzen sondern denn sie enthält wesentlich wirkliche Variable. Sie ist ganz analog einer Operation als deren Basis auch ihr eigenes Resultat genommen werden kann.