数学基礎論・数理論理学 その11at MATH数学基礎論・数理論理学 その11 - 暇つぶし2ch181:137 12/01/08 21:50:26.40 >>178 よく分かりました。閉論理式でないといけないと思い込んでいましたが、 意味論と関連付けて考えない限りは 閉論理式に縛られる必要はありませんでしたね。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch