>>385
＞Java だったら「==」で比較して「真」が返ってくるものなんで、
＞「equals()」で比較するのとは、また別な話なんですよ。
＞このあたりをニコラ・ブルバキ（まぁ、アンドレ・ヴァイユ他の
＞合同ペンネームなんですけど）あたりが整理しようと思ったらしいですけど、
＞ちょっと前に出た「グッドスタインの定理」云々の話みたいに、
＞数学基礎論的には、まだ未解決なんですよ。

ここに関しては「言葉のサラダ」としか言いようがない。意味が通ってない。

基礎論的には何かが未解決問題であると読めるが、
では一体「なにが」未解決問題なのかきちんと書かれていない。

また、グッドスタインの定理はペアノ算術の範囲で記述される定理であり、
Java で記述される定理ではない。仮に Java で記述したとしても、その Java の上で
「==」や「equals()」によってナニカを比較したときの両者の "差異" に関する話は、
Java 言語の内部的な実装の話もしくは Java 言語の意味論に関する話であり、
グッドスタインの定理とは何の関係もない。