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