セロサムの金融空間（スペース）では、どんなやり方しても勝てないことを立証したほうが早いんじゃいかな

無矛盾な公理的集合論は自己の無矛盾性を証明できない

的な