>>690
>「あるnに対して、～が～となると仮定する。」

こういう仮定をしたとき

あるnは存在しなくてもいいと思っているのかな？
あるnは必ず存在すると思っているのかな？

後者なら、∃n ∀N [ (n^2 < N ∧ N < n(n+1)) → Comp(N) ]という仮定そのもの