非可算無限個の命題変数を考えない理由はなぜか？
#情報募集中
普通，命題変項は可算無限個で導入する．
非可算無限個の集合を考えない理由はなんでなのだろうか？という質問が出た
技術的にはLindenbaum補題とかも上手く出来はしそうだという意見が出ていた．
形式化の議論では論理式のエンコードで非可算だと面倒なので$ \Nでやっている．