Overview

incompleteness


Show Summary Details

Quick Reference

A logical system is complete just in case there is no truth of the system that it is incapable of proving. By a theorem of Kurt Gödel in 1931, no ...

Subjects: Philosophy.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.