13/12/28 19:15:12.46
直感（直観）主義じゃない、なら何なのでしょう？
あなたの読んでいる本ではこの論理のことを何と呼んでいるのでしょう？
├_HM の H は Heyting ?
M は？
13/12/28 19:15:12.46
直感（直観）主義じゃない、なら何なのでしょう？
あなたの読んでいる本ではこの論理のことを何と呼んでいるのでしょう？
├_HM の H は Heyting ?
M は？
13/12/28 19:15:12.46
直感（直観）主義じゃない、なら何なのでしょう？
あなたの読んでいる本ではこの論理のことを何と呼んでいるのでしょう？
├_HM の H は Heyting ?
M は？