548
Der Endzweck der Einführung der extensiven Funktionen war übrigens die Analyse von Sätzen über unendliche Extensionen und dieser Zweck ist verfehlt, da eine extensive Funktion durch eine Liste von Definitionen eingeführt wird.