/ /  
   Was heißt es denn: “P” & “P ist unbeweisbar” seien der gleiche Satz? Es heißt daß diese zwei deutschen Sätze in der & der Notation den einen Ausdruck haben.