Ein Satz, der von allen Sätzen, oder allen Funktionen handelt, ist von vorn herein eine Unmöglichkeit: Was durch einen solchen ausgedrückt werden sollte, müßte durch eine Induktion gezeigt werden. (Z.B. daß alle Sätze nonnp dasselbe sagen.)
     Diese Induktion ist selbst kein Satz und deshalb ist ein circulus vitiosus ausgeschlossen.