と他人様を小馬鹿にしている自分も全然解ってない件ｗ
ＡＢＣ予想が演算子の問題に帰着されるからゲーデルの不完全性定理から同じ理論体系では証明できない問題になるので
演算子の異なる論理体系へ写像から証明にアプローチするということなのか？位のボンヤリした理解レベルｗｗｗ
大体写像って大抵集合の要素だったりするから演算子の写像とかもう理解できないバカすぎて。。。