出處《新唐書·契苾何力傳》:“ 毗伽 素很戾,必死,死則二子爭國。內判外攜,不戰而禽矣 ...
1.G.康托爾的連續統假設問題;1963年,P.J.科恩證明了:連續統假設的真偽不可能在策梅洛-弗倫克爾公理系統內判明。 希爾伯特2. 算術公理的相容性;1931年,K.哥...