数理論理学（数学基礎論）　その13

数理論理学（数学基礎論）　その13at MATH

数理論理学（数学基礎論）　その13 - 暇つぶし2ch814:１３２人目の素数さん
19/02/11 16:34:01.80 YSRNi+IZ.net
>>774
>これはお前が無矛盾律からシーケントをスタートさせてるだけの話やろ
はぁ
無矛盾律は認めないという立場なの？
これは最小論理の
P ￢P |- 人
なんだけど
使わないのはキビシイなぁw

次ページ

続きを表示

1を表示