(idea) by tim_three Thu Mar 02 2000 at 22:11:36

A truth that cannot be derived from the
axioms of a given formal system

I like it!