Wenn man die variable Form eines arithmetischen Satzes einer [z|Z]ahlengleichung „Urteilsabstrakt” nennt (Weyl), dann ist der allgemeine mathematische Satz kein Urteilsabstrakt sondern ein Urteil. –