Alternatively (yet equivalently) common knowledge can be formalized using set theory (this was the path taken by the Nobel laureate Robert Aumann in his seminal 1976 paper).
（等価な）代替案として、共有知識は集合論を用いて定式化することもできる（これはノーベル賞受賞者ロバート・オーマンがその独創的な 1976 年論文においてとった方法である）。