有限個の論理式で記述できない命題があることになるじゃん