[Sphairos]

А среди формальных аксиоматических систем только к достаточно сложным системам.

А ещё Гёдель дал строгое математематическое доказательство существования бога. Не шутка.

http://en.wikipedia.org/wiki/G%C3%B6...ological_proof

http://www.robotics.stanford.edu/~ep...fitting-gg.pdf

http://io9.com/5805775/proof-of-the-...-down-on-paper