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]
27 Dec 2012 18:45 UTC
0
points
Second-order logic.
[deleted]
28 Dec 2012 1:01 UTC
3
points
Parent
Second-order logic does not provide a definition of the term “set”.
Back to top
Second-order logic.
Second-order logic does not provide a definition of the term “set”.