Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
[deleted] comments on
Godel’s Completeness and Incompleteness Theorems
[deleted]
28 Dec 2012 1:01 UTC
3
points
Second-order logic does not provide a definition of the term “set”.
Back to top
Second-order logic does not provide a definition of the term “set”.