|
|
|
|
|
|
by eriksank
4929 days ago
|
|
|
In my opinion, Kurt Gödel's claim points to something that seems to go wrong in Alonzo Church's successor function. For the sake of the argument, let's call that a bug. It would take a serious amount of work to point out how that would affect Zermelo–Fraenkel. |
|
|