There exists a set containing the empty set and closed under the successor operation — guaranteeing an infinite set exists.