Based on the soft formal analysis, in this article, the countability of soft topological space is studied. The soft neighborhoods basis of soft points is dened in the soft topology, and the properties of soft basis and soft neighborhoods basis are given. The countable axioms are dened in the soft topological space over the soft formal context, the examples are illustrated for the first countable axioms and the second countable axioms. The properties of the countable axioms are studied, and all the results can be implied to the soft rough topological space.