Gödelian
Gödelian is an adjective derived from the Austrian logician Kurt Gödel. It is used to describe ideas, arguments, or phenomena associated with Gödel's work in mathematical logic, especially the limits of formal systems. In scholarly contexts, a Gödelian position often emphasizes that no sufficiently strong, consistent formal theory that is effectively axiomatized can prove all arithmetic truths, nor prove its own consistency from within the theory.
At the core of Gödelian thinking are Gödel's incompleteness theorems. The first incompleteness theorem states that
In broader usage, "Gödelian" can denote approaches that stress limits of purely formal or computational accounts