>>765
> 「pが最大の素数」というのが仮定なのではなく
> 「素数が有限個」というのが仮定。

「素数が有限個」と「最大の素数が存在する」は同値。