王氏砖（）也称为王氏多米诺骨牌，最早由数学家、逻辑学家和哲学家王浩于1961年提出，属于，也是形式系统。王氏砖的外观是正方形，正方形的每一边可以有不同的颜色，也可以以各边和中心点组成的三角形来着色，一个王氏砖中里可以有二个至四个不同的颜色。二个王氏砖拼合时，其相邻的边需要有相同的颜色，在王氏砖拼合时，不允许旋转王氏砖，王氏砖也不能翻面。关于特定一组王氏砖的基本问题是：是否可以用这组王氏砖密铺平面？也就是以符合王氏砖规则的方式填合无限大的平面。下一个问题是是否存在周期性的密铺方式？Section: