viewimage.php?no=24b0d769e1d32ca73dec8ffa11d02831046ced35d9c2bd23e7054e3c2d8d67b656c11d3f8ef6e2aa60c724bb1278b758dd9b2743ef1904d4176ed86ccf0719c77babd394d6e802bfef13da600b662cf803e9c7b1d7a5cebe1898

ZFC로는 안될 것 같음

적어도 귀결하는 개념에 대한 새로운 공리가 필요하지 않을까