All Questions
1 question
0
votes
1
answer
598
views
Can Godel's incompleteness theorems be in some sense circumvented this way?
New foundations "NF" (formulated in the language of $\small \sf FOL(\in)$), can define a kind of ordered pair relation $``\rho"$ such that we can have a set $E$ of those pairs where NF proves the ...
- 11.3k