消滅しません :-)いままで、矛盾または無矛盾て言葉を色々な意味で使ってしまった。 公理系Aが矛盾する：A|- f かつ A|- ¬f セオリーTが矛盾する：T = L （Lはすべての論理式） 論理式の集合Aが矛盾する：Aはモデルを持たない。 1番目と2番目は構文的な主張…

「檜山用メモ」として書いていたものは、サブアカウントを使って書こうかと思う。→http://d.hatena.ne.jp/m-hiyama-memo/20051223/1135301465で、今後「檜山用メモ」は消滅するのか？ それはわからない。