大学学部レベル質問スレ 18単位目

大学学部レベル質問スレ 18単位目at MATH

大学学部レベル質問スレ 18単位目 - 暇つぶし2ch296:１３２人目の素数さん
22/06/04 13:11:00.23 RI91PHM7.net
ZFで作ったN={0,1,2,…}だと
部分集合（B）に最小値（∩B）が存在することと
0以外のnに前者（n=m∪{m}）が存在することが証明できて
それが
P(1)∧∀n∈N(P(n)→P(n+1))∧∃n∈N(￢P(n))→人
を示すことになるて流れで

次ページ

続きを表示

1を表示