17/10/19 10:39:11.13 N4ismAjn.net
>>771
メタに古典論理だけを使って古典論理の健全性完全性は証明できるんでしょ？
メタに直観論理だけを使って直観論理の健全性完全性は証明できるのかな
何かその辺（meta-self-contained?）に正当性の根拠が置けないものかしら
数学的に面白いというだけではあんまり説得力ないような気がしないではない
17/10/19 10:39:11.13 N4ismAjn.net
>>771
メタに古典論理だけを使って古典論理の健全性完全性は証明できるんでしょ？
メタに直観論理だけを使って直観論理の健全性完全性は証明できるのかな
何かその辺（meta-self-contained?）に正当性の根拠が置けないものかしら
数学的に面白いというだけではあんまり説得力ないような気がしないではない