„Ein Satz dieser Form ist wahr” das müßte quasi
durch eine andere Art von Variabler ausgedrückt werden. (Es gäbe dann also allgemeine Gleichungen die ausdruckten, daß eine Gleichung dieser Form richtig ist.)