17/10/29 18:24:13.63 l3pTI3GL.net
>>104
無限公理は「自然数をいくらでも作れる」などとは言っていない、
「可算無限集合が存在する」と言っている。
そしてこれは公理なので証明不要。
17/10/29 18:24:13.63 l3pTI3GL.net
>>104
無限公理は「自然数をいくらでも作れる」などとは言っていない、
「可算無限集合が存在する」と言っている。
そしてこれは公理なので証明不要。
17/10/29 18:24:13.63 l3pTI3GL.net
>>104
無限公理は「自然数をいくらでも作れる」などとは言っていない、
「可算無限集合が存在する」と言っている。
そしてこれは公理なので証明不要。