プログラマの雑談部屋 ★333

155 ：仕様書無しさん：2024/04/30(火) 08:58:24.83 .net

数学科おじさんがマジレスするとイプシロンデルタは定義じゃねぇ
あれを定義にしてもいいかもしれんがあんな狭義的な物を公理としたら論理がかなり複雑化する
デデキントカットやらカントール公理でも何でもいいがそこらから導かれる定理だ