Sequentially Compact Space is Countably Compact
The result follows from Limit Point of Sequence is Accumulation Point.
Axiom of Countable Choice
This theorem depends on the Axiom of Countable Choice, by way of Equivalence of Definitions of Countably Compact Space.
As such, mathematicians are generally convinced of its truth and believe that it should be generally accepted.