5˙00534
Im dritten Falle sind die Werte der Variablen alle Sätze welche gewisse formale Eigenschaften besitzen.