假定一个人群只有两个人A、B构成,A、B均知道一件命题p,p是A、B的知识,但此时p还不是他们的公共知识。当A、B双方均知道对方知道p,并且他们各自都知道对方知道自己知道p……这是一个无穷的过程。由此推出:
p与A、B之间是公共知识
p与A、B之间是基础知识
p与A、B之间是通用知识
p与A、B之间是同一知识