トップページ
>
数学
>
2017年11月15日
>
KRJCfOte
書き込み順位＆時間帯一覧
21 位
/57 ID中
時間
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Total
書き込み数
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
使用した名前一覧
書き込んだスレッド一覧
１３２人目の素数さん
分からない問題はここに書いてね436
書き込みレス一覧
分からない問題はここに書いてね436
984 ：
１３２人目の素数さん
[sage]：2017/11/15(水) 08:43:06.36 ID:KRJCfOte
>>983
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
※このページは、
『２ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。