百害あって一利なし
集合指向(set-intensive)ではない数学名無しさん2025/11/19 12:48[>>11](/boards/math/1763305413#post-11) コーシー列の収束+アルキメデス性は 最小構成ならNとRの二種一階論理+関数型N→R...