Gödel a 30-as években bizonyította be, hogy nem.

Gödel nemteljességi tétele

Van ilyen, de az nem erről szól.