2024-01-17 命題 1.1.3 カントールの対関数 6項 新井敏康『数学基礎論(増補版)』 東京大学出版会 2021 とする.このときの逆関数 は自由変数 は ① で与えられる. ①について 何のか? との何れか大きい方. 例 のとき とより