Single Idea 17886

[catalogued under 5. Theory of Logic / K. Features of Logics / 1. Axiomatisation]

Full Idea

The inherent limitations of the axiomatic method were first brought to light by the incompleteness theorems.

Gist of Idea

The limitations of axiomatisation were revealed by the incompleteness theorems

Source

report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Peter Koellner - On the Question of Absolute Undecidability 1.1

Book Reference

-: 'Philosophia Mathematica' [-], p.4


Related Idea

Idea 17886 The limitations of axiomatisation were revealed by the incompleteness theorems [Gödel, by Koellner]