本質的不完全なLindenbaum代数は稠密 - Internet Explorer 2.0

本質的不完全なLindenbaum代数は稠密

$ Tの理論は第1不完全性定理が成り立つとする：本質的不完全．このとき$ TのLindenbaum-Tarski代数は稠密になる