Lehrsatz 1: Der Optionalismus ist optional.
Definition 1: Eine Theorie ist allgemein genau dann wenn sie auch auf sich selbst anwendbar ist (zirkulär).