- 488 名前：１３２人目の素数さん mailto:sage [2016/09/14(水) 00:20:22.20 ID:b6Vm6Arm.net]
- >>461
＞1行目の前提？
＞なんだそりゃ？
ここでの1行目とは
＞1個の公理より成る任意の無矛盾な公理系A1を仮定すると、
＞A1を構成する任意の公理の組み合わせで構成される
＞任意の公理系は全て無矛盾でなければならない
この3行のうちの1行目のこと。
＞1個の公理より成る任意の無矛盾な公理系A1を仮定すると、
明らかに無矛盾な公理を持ってくることが話の前提になっている。
お前は矛盾した公理系を持ってきているので話の前提にすら立っていない。
