＞高校生に論理と集合論を教え込むと何が変わるの？

カントールの対角線論法を学ぶと計算可能性理論を理解する上で役に立つ。
計算不可能な関数があることを知ることはは教育的であろう。