PanLinx
日本語
jpn-000
帰納的定義
English
eng-000
recursive definition
PanLex
