構成主義
キーワード
弱すぎない導入規則
強すぎない除去規則
共役な推論規則
References
数学の基礎（解説版１）
一番わかり易い
takker.icon
https://www.jstage.jst.go.jp/article/jpssj1968/17/0/17_0_133/_pdf
なんかあまり関係なさそう
#2021-06-30
13:28:51
#2021-03-03
16:24:27