變更

*[https://web.math.sinica.edu.tw/math_media/d172/17203.pdf 美籍華人數學家王浩教授在 《對哥德爾 的反思》 的學術報告中曾經提出: 戴德金得 到匹阿諾自然數公理系統, 是來自於對自然 數列的分析。 數學中的公理化方法(下)]

*[http://www.cr31.co.uk/stagecast/wang/intro.html  王氏磚（英語：Wang tile）:也稱為王氏多米諾骨牌，最早由數學家、邏輯學家和哲學家王浩于1961年提出，屬於邊緣匹配拼圖（英語：Edge-matching puzzle），也是形式系統。]