In any sufficiently powerful logical system statements can be formulated which can neither be proved nor disproved within the system, unless possibly the system itself is inconsistent.
Turing’s restatement of Godel’s Incompleteness Theorem.
The source, my friends of half life's trouble Is seeking reputation's bubble, And though the kids were not ambitious -…
Habit is habit, and not to be flung out the window by any man, but coaxed downstairs a step at…
And pray to God to have mercy upon us And pray that I may forget These matters that with myself…