Definition:Inductive Set Definition for Natural Numbers