logoalt Hacker News

tehnub • today at 3:27 AM • 0 replies • view on HN

Indeed. See https://en.wikipedia.org/wiki/Common_knowledge_(logic)