5時です。もはや今日です。まぁ今日はおやすみの日なので良いということにしちゃいましょう。 直感主義の意味論の1つで ((P→Q)→P)→P を計算する図です pic.twitter.com/ry8bw1pblZ— phi16 (@phi16_) 2020年5月28日 ここ2日延々と直観主義について考えてきた…