Ի. Ս. Սոմինսկի Մաթեմատիկական ինդուկցիայի մեթոդը Ներածություն § 1. Նույնության ապացուցում: Թվաբանական բնույթի խնդիրներ