### Don't Have An Account?

### Related Posts

Also about

+14Its funny when someone calls someone out for being anon, newsflash, just 'cause im anon doesn't make my statement untrue, **statement and untrue****amirite?**

Also about

-7Mindfu**; The next statement is true, the previous statement is false, **statement****amirite?**

Prove it..

Let P be your statement. Then P = I can't prove P.

For the purpose of argument, let's make the bold assumption that I can prove any statement that can be proven under a given consistent system. (By the way, we shall assume the system we're using is consistent.)

Then P = ~provable(P). So ~P = provable(P).

Which indicates, if provable(P), then ~P. But if ~P, then obviously ~provable(P). Therefore, by transitivity of implication, if provable(P), then ~provable(P).

Any statement that implies its own inverse is merely a special case of proof by contradiction, whereby premises leading to a contradictory conclusion must be rejected. Therefore, if (if provable(P) then ~provable(P)) then ~provable(P). But we've already proved that if provable(P), then ~provable(P).

Therefore, ~provable(P).

But we've already established P = ~provable(P). Thus, from the premise P = ~provable(P), I have proven P to be true.

HOWEVER: if I have proven P to be true, under no premises but its own definition, then provable(P). But we have already established ~provable(P).

Again we have reached a contradiction, and are forced to conclude one of our premises is false. But my only formal premise in this logical argument was that P = ~provable(P).

Therefore, P does not equal ~provable(P). In other words, the statement you've submitted is logically invalid in form.