11/01/31 00:07:41
>>227 は「現代数理論理学序説」を誤解して書き間違えただけ。
そもそも Г, A ├ B で A は仮定だよ。「A の依存する仮定」というの
がおかしいということいが分からないのかな。
11/01/31 00:07:41
>>227 は「現代数理論理学序説」を誤解して書き間違えただけ。
そもそも Г, A ├ B で A は仮定だよ。「A の依存する仮定」というの
がおかしいということいが分からないのかな。
11/01/31 00:07:41
>>227 は「現代数理論理学序説」を誤解して書き間違えただけ。
そもそも Г, A ├ B で A は仮定だよ。「A の依存する仮定」というの
がおかしいということいが分からないのかな。