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