証明論とか基礎論あたりではあんまし聞かないな
漏れが知らんだけかもしれんが