generated at
構成主義
キーワード
弱すぎない導入規則
強すぎない除去規則
共役な推論規則

References
数学の基礎（解説版１）
一番わかり易いtakker
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