構成主義 (数学)
直観主義論理
直観主義型理論
構成的解析学(英語版)
構成的超準解析(英語版)