News for hackers. Stuff that matters.

A comment on Croatia demolished houses of libertarian project “Liberland”, seized property. Parent comment

Re:Croatia demolished houses of libertarian project “Liberla... by mik1998 on Sunday September 24, 2023 @04:50PM (#37637067)
Apparently one of {Croatia, Serbia}. I think we need to consult the axiom of choice on this one.
[ Parent | on HN ]
Re:Croatia demolished houses of libertarian project “Liberla... by yreg on Sunday September 24, 2023 @05:00PM (#37637145)
That's not true. Neither of them claim it.
[ Parent | on HN ]
Re:Croatia demolished houses of libertarian project “Liberla... by xeromal on Sunday September 24, 2023 @10:33PM (#37639079)
They don't but they claim one of them does.
[ Parent | on HN ]
Re:Croatia demolished houses of libertarian project “Liberla... by yakubin on Monday September 25, 2023 @01:28AM (#37639935)
Even if using a function of choice made sense here, you don’t need the axiom of choice to know that a function of choice exists in the case of finite sets.
[ Parent | on HN ]