>>318
え?そうなの。他にどういう公理を仮定するの?