gödel's incompleteness theorems in mathematical logic
formal proof of the inherent limitations of consistent axiomatic systems capable of arithmetic
quantum indeterminacy in subatomic particle behaviour