Comment by popnroll

I'm really clueless about logic and mathematics theory, but isn't this the Gödel's incompleteness theorem?