Nondiscrete mathematical induction. (English). In: General topology and its relations to modern analysis and algebra IV, Proceedings of the fourth Prague topological symposium, 1976. Part A: Invited papers. Springer, Berlin, 1977. pp. [166]-178