因為 11 及 13 表示 {,[,( 及 },],) 等多個符號，故 2 個相異式可能有相同之哥德爾表示。但不存在 2 個相異合式，其哥德爾表示相同。

證明：再補。