そもそも「現今の数学との違いをキチンと完全に言語化する」以前にに現今の基礎論の基礎にちゃんと目を通さんといかんやろな