>>516
>私が書いているのは何度も書いているのように、「あるnに対して、n^2<N<(n+1)nを満たす全てのNにが合成数で
あると仮定する。」

これを論理式で書いたときに

∃n∈自然数, ∀N∈Z［n^2<N<(n+1)n⇒Composite(N)］
となります。

ここでComposite(N)は、「Nは合成数」という述語を表します

これは
>>494のn^2<p<n(n+1)のpが全て合成数であるnが少なくとも一つ存在する
と同じものです

違うというなら論理式で書いてください