Was heisst es denn: “P” und “P ist unbeweisbar” seien der gleiche Satz? Es heisst, dass diese zwei deutschen Sätze in der und der Notation einen Ausdruck haben.