[DalekBaldwin]

"You always need more bits of axioms than of program if you want to prove theorems about your programs."

Fascinating. Is that a quote? I've never seen it stated that way. I think something about it just clicked for me.

[eli_gottlieb]

It's a paraphrase rather than a quote, of "the theorems of a finitely-specified theory cannot be significantly more complex than the theory itself."

http://www.sciencedirect.com/science/article/pii/S0196885804...