$X$ を集合とする。 $X {\rm は有限集合}$ $:\Leftrightarrow$ $\exi n \in {\mathbb N} \; \exi {\rm 可逆写像} f : n \rightarrow X$ $X {\rm は無限集合}$ $:\Leftrightarrow$ $X {\rm は有限集合ではない}$ $\all m, n \in {\mathbb N} \;\parenth{ \exi…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。