By further axioms, this set is asserted to be countably infinite.

Gödel also considered the case where there are a countably infinite collection of formulas.

With the help of this procedure one can produce countably infinite many differential structures.

For a countably infinite set the set of possible order types is even uncountable.

This guarantees that a countably infinite number of steps is performed by noon.

Like the natural numbers, the integers form a countably infinite set.

There exists a surjective map from A onto a countably infinite set.

It has a countably infinite set of ideal classes.

The first kind has 18 countably infinite families.

The reason is that every open interval can be written as a countably infinite union of half-open intervals.