Is  ZFC+Con(ZFC)  powerful enough to show there isn't  any standard model of  ZFC? What you think about it?