elim 发表于 2024-6-20 00:18 定义 \(F:\mathbb{N}\to\mathscr{P}(\mathbb{N})\) 为 \(F(n)=\{n+1,n+2,\ldots\}\) 则孬种认为 \(N_{\inf ...
使用道具 举报
elim 发表于 2024-6-22 00:02 孬种的逻辑 \(\forall k\in\mathbb{N} \;(\varnothing\subset A_k)\implies \varnothing\ne\varnothing\). ...
elim 发表于 2024-6-22 07:44 如果\(H_{\infty}\ne\varnothing\), 则有自然数\(m\in H_{\infty}=\displaystyle\bigcap_{n=1}^\infty A_n\ ...
elim 发表于 2024-6-22 08:49 如果\(H_{\infty}\ne\varnothing\), 则有自然数\(m\in H_{\infty}=\displaystyle\bigcap_{n=1}^\infty A_n\ ...
elim 发表于 2024-6-23 23:13 已知\((N_{\infty}\ne\varnothing)\implies \exists m\in\mathbb{N} (m\in A_m)\). 但后者是假命题,所以\( ...
本版积分规则 发表回复 回帖并转播 回帖后跳转到最后一页
Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )
GMT+8, 2025-5-15 00:18 , Processed in 0.093927 second(s), 13 queries .
Powered by Discuz! X3.4
Copyright © 2001-2020, Tencent Cloud.