>>612
自然数に関する命題のうち正しくないものの集合。