attempt totality proof of Goedel T. fail