Entries from 2019-11-23 to 1 day

位相空間論による素数の無限性証明

素数が無限個存在すると仮定します. 文字の種類は有限なので, 鳩ノ巣原理により $20$ 字以下の定義文を持たない素数が存在し, その最小のものを $p$ とおきます. このとき $p$ は「$20$ 字以下の定義文を持たない最小の素数」という $20$ 字の定義文を持つの…