"It seems hard to prove anything interesting in a system that precludes self-reference." Indeed, isn't that one of the important features of Goedel's proof: th

"It seems hard to prove anything interesting in a system that precludes self-reference." Indeed, isn't that one of the important features of Goedel's proof: that any system that can express basic arithmetic is capable of self-reference.