ゲーデル解 - 他の言語