Việt
vị ngữ quy nạp
Anh
induction predicate
inductive
induction predicate /toán & tin/
induction predicate, inductive