Behauptet der mathem. Satz eine // das Bestehen einer // interne(n) Relation? – Er behauptet, was er behauptet. Er behauptet, was sein Beweis beweist, & sein Beweis demonstriert eine interne Relation, & doch wäre es unrecht zu sagen, der math. Satz behaupte eine interne Relation. Könnte man nicht eher sagen: er behauptet eine bestimmte Anwendbarkeit?