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 einen Ausdruck haben.