数理論理学（数学基礎論） その12

[0931 １３２人目の素数さん 2018/06/23(土) 21:02:53.12 ID:emPaHwWk]

極限は普通の関数(写像)の定義で作れるから、新しい関数記号として lim を付け加えても元と同じ（保存的拡大）

という趣旨の発言ではないの？