構成的数学
構成的数学(こうせいてきすうがく、constructive mathmatics)
直観主義数学
構成的帰納的数学
参考
『構成的数学の体系と実践』
『Constructive Mathematics』