前回(2018/10/23)の内容 前回(2018/10/23)の内容 「メタ」の話 自然数を作る