/  
Was bedeutet ein mathematischer Satz von der Art „(∃n)4 + n = 7”? E[s|r] wäre eine Disjunction 4 + 0 = 7 ⌵ 4 + 1 = 7 ⌵ 4 + 2 = 7 ad. inf. Was aber bedeutet das? Ich kann einen Satz verstehen der einen Anfang & ein Ende hat. Kann man aber auch einen Satz verstehen der kein Ende hat? Ich verstehe auch daß man eine unendliche Regel geben kann nach der unendlich viele endliche Sätze gebildet werden können. Was aber bedeutet ein endloser Satz?