>>162です，レス下さった方々ありがとうございます

まだペーペーですが敢えていうなら逆数学やりたいなと思ってます
まずはゲーデル，ゲンツェンによる三大定理（？）をしっかり勉強してからですね

ありがとうございました