Suppose
Let be the statement that contains finitely many elements.
Let be the statement that the complement of , say contains infinitely many elements.
Which of the following implications is/are true?
(1): .
(2): .
Notation: denotes the set of natural numbers.