Auf den Punkt gebracht: Die Nichtbeachtung der Typen-Ambiguität gewisser Ausdrücke ist die Ursache der Antinomien - und: durch Typen-Differenzierung dieser Ausdrücke können die Antinomien aufgelöst werden.