2012-01-25から1日間の記事一覧
付録A 練習問題続きます。 A.1.9 閉包推移を公理化してみる 閉包推移は一階論理で公理化できない。のでできないのだけどやろうとして失敗してみるというもの -- 推移被覆 pred transCover (R, r: univ -> univ) { r in R -- R は r を含む R.R in R -- R は…
付録A 練習問題続きます。 A.1.9 閉包推移を公理化してみる 閉包推移は一階論理で公理化できない。のでできないのだけどやろうとして失敗してみるというもの -- 推移被覆 pred transCover (R, r: univ -> univ) { r in R -- R は r を含む R.R in R -- R は…