直観主義

数学的対象は人工的であり, 存在を構成的な手続きで示されなくてはならない

• 具体的な計算方法(プログラム)が証明になる
• 背理法は認めない(具体的にはわからないので)
  どういうことだ todo