#E6E6E6 談數學的建構性證明與存在性證明