パースの法則
Charles Sanders Peirce
直観主義論理
では成り立たない
関連
call/cc
https://ja.wikipedia.org/wiki/パースの法則