今回は、ちょっと(?)変わった方法で、素数が無限個あることを証明してみます。 (正の)素数の全体を と表すことにしておきます。 整数の全体 に、次のようにして開集合系を定めます。 が開集合であるとは、 が空集合であるか、または、 が空集合でない場合は…