PanLinx
English
eng-000
enumerative induction
ગુજરાતી
guj-000
ગણનાશ્રિત આગમન
русский
rus-000
перечисляющая индукция
PanLex