https://hackershare.dev/en/bookmarks/711004
在 Hacker News 上看到選擇公理