12/08/20 11:32:55.05 cTL3Tpol0
>>460
いや、わかりにくいだけで論理的には間違いではないと言いたいんじゃないか？
論理上は、合成数である可能性を言う必要は必ずしも無い。
「素数が2、3、5、7、11、13の6個しかない」という仮定の下では、
2*3*5*7*11*13+1=30031は1とそれ自身以外の約数を持たない1ではない自然数ということになり、
素数の定義を満たすことになる。
実際には、59*509に素因数分解出来るのだが、
「素数が2、3、5、7、11、13の6個しかない」という仮定の下では、
そういう素因数分解は出来ないと仮定されているので考慮する必要が無い。
論理学的に言えば、素数を有限個であるとすると矛盾が生じることを示すには>>428で十分であり、
「新たな素数を素因数にもつ合成数」に言及するのは冗長なのかも知れない。