News for hackers. Stuff that matters.

A comment on Bertrand Russell’s infinite sock drawer. Parent comment

Re:Bertrand Russell’s infinite sock drawer by ukj on Saturday June 13, 2020 @01:24PM (#23511004)
Löwenheim-Skolem doesn't hold for higher order logics such as type theory/Lambda calculus.

Basically, it doesn't hold for any constructive logic.

[ Parent | on HN ]

There are no comments on this comment yet.