こちらの復習編。他の回はカテゴリー「直観主義型理論」からどうぞ。 複数の仮定付の判断とコンテクスト B(x)の要素問題 予習編で、仮定付判断の例えば の要素は [B(a)] だが という判断もあって妙だと書いた。 の要素は何なのか。しかしこれは仮定のスコー…