Finitely generated commutative division semirings

One-generated commutative division semirings are found. The aim of this (partially expository) note is to find all one-generated (commutative) division semirings (see Theorem 8.5). In particular, all such semirings turn out to be finite. To achieve this goal, we have to correct some results from [1] (especially Proposition 12.1 of [1]) and to complete some results from [2]. Anyway, all the presented results are fairly basic and (with two exceptions) we shall not attribute them to any particular source.