22/03/31 22:58:57.65 Uf+Ujtn1.net
Pが素数、Zが整数とみるのが自然だが、本当に>ある整数から必ず素数を選択することができる
と数式
f:P→Z
∀p[p∈P→∃s[f(s)∈Z∧p=s]]
f(s):=s
が対�
22/03/31 22:58:57.65 Uf+Ujtn1.net
Pが素数、Zが整数とみるのが自然だが、本当に>ある整数から必ず素数を選択することができる
と数式
f:P→Z
∀p[p∈P→∃s[f(s)∈Z∧p=s]]
f(s):=s
が対�
22/03/31 22:58:57.65 Uf+Ujtn1.net
Pが素数、Zが整数とみるのが自然だが、本当に>ある整数から必ず素数を選択することができる
と数式
f:P→Z
∀p[p∈P→∃s[f(s)∈Z∧p=s]]
f(s):=s
が対�