>>154
無矛盾ならモデルが存在するということの証明の概略を質問してるんだよ。

例えば微分幾何の難しい定理の系をどこかの本から持ってきて代数的整数論をやってる数学者に
「わかるかよ？、わかるかよ？」と絡んでも答えようもないだろ。
それで横から「お前はわかるのか？」と質問されて定理から系の証明の解説をネットで見つけて答えても答えになってないから。

文学部哲学科の連中は自分でもわからない事を相手にもわからないだろうと高を括って知ったかぶりをするんだよな。