構成的数学
【こうせいてきすうがく】
【kouseitekisuugaku】
可构造数学