>>928
全称量化された自然数全体についてそれは在るもないも言っていない
ということ
それゆえ全称量化された自然数全体からある自然数を選び取ることは不能である