Inconsistency of the actual infinity, thus ℕ, follows from the strict inclusion of the natural numbers in ω.
Enrico P. G. Cadeddu (Thu,) studied this question.