Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories.
https://en.m.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems
Wikipedia site 
HEIGHT 400
Incompleteness TheoremGödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories.
https://en.m.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems
Wikipedia site
HEIGHT 400