>>667
AIに聞いたら
＞∃n ∀N [ (n^2 < N ∧ N < n(n+1)) → Comp(N) ]
ということらしい、当然私はこれを読めば意味が分かる。
論文に書いていなくAIに聞けば分かることで調子に乗られてもね、リジェクト。