かぶる記号 - (保存用) 檜山正幸のキマイラ飼育記 メモ編でも書いたが、Σはかぶる。 総和のΣ アルファベットのΣ 指標のΣ シーケントのΣ（Γ, Δなどと共に用いられる） n次対称群はΣn そして、分散・共分散行列もΣ

距離空間の完備 -- コーシー列は収束する 完備測度 -- ゼロ集合の部分集合が可測でゼロ 完備束 -- 部分集合のsup, infを持つ。 圏が極限のクラスに対して完備 リーマン多様体が完備

「わたしはウソをつきません」と言い張る命題やプログラムを書けるのか？ これを「ウソ記事」と呼ぶ。最近の用語法と比較。 ウソ記事 最近 Prop(LL) LL-Sentence 命題 閉論理式, 論理文 Formula(LL) LL-Formula Proof(LL) LL-ProofReazoning Prog(PL) PL-Pro…