基礎論勢でも、集合論をやらなければ、順序数はそんなに触れないという人は意外と多いのかも？　ただ実際に大きい順序数を触っているのは証明論勢のイメージ