置換公理化的缺陷
雖然我濃墨重彩闡述了“置換”公理化作爲軟件設計中的種種優勢，然而對於公理化過程來說，其本身的缺陷也是顯而易見的。
首先需要明確的是：方法不是唯一的，公理化方法是處理方法之一，但是不是唯一。對於經驗性的處理方式，公理化是無法覆蓋的。其與經驗總結是相輔相成的，所以，前人總結的模式，不能因爲採用公理化方法而抹殺掉。軟件設計要健康成長，需要兩種方法兼容幷蓄，而且很多時候又是相互纏繞，螺旋推進。
同時，公理化是否能夠進行有效的處理，與“置換”本身的抽象息息相關。公理化只是給出了一個形式上的正確性，但是無法保證內容實質上的準確性。所以，在不同的抽象結果下，公理化都能夠推導出一個結果。往往因爲假設上的不同條件，會獲得不同體系的結論。而這些體系無正確和錯誤之分，只有適應和不適應區別。
並且，公理化無法提供從功能域到結構域具體的映射實現手段。也就是說公理化過程無法輔助實際的抽象處理，比如公理化無法告訴你此處抽象爲向量的結構一定比抽象爲樹的結構更符合需求。其具有的演繹功能僅僅適用於通過假設推導結論，而不能從結論推導出假設，因此，在某種程度上公理化可能對於應用者來說，是一個無關痛癢的無用之物。不明白公理化爲何物也能“獨行天下”。
也許，如此多的缺陷，導致了我們長時間的忽視，最終導致軟件設計無法走的更遠更深化，也從另一個角度看到，軟件設計還不是一個成熟的領域，還需要通過一系列的理論進行規範，還需要進行進一步的發展和完善，而最需要補課的正是數理化的抽象方法，其中的公理化抽象方法更是迫在眉睫。
參考資料
1. 百度搜索 網站：https://www.baidu.com
2. 互動百科 網站：http://www.baike.com
3. 《設計模式：可複用面向對象軟件的基礎》[美] Erich Gamma，[美] Richard Helm，[美] Ralph Johnson等 著；劉建中等譯；出版社: 機械工業出版社; 出版時間：2007年1月
4. 《敏捷軟件開發：原則、模式與實踐》 作者：Robert C. Martin ；譯者 鄧輝 ；出版社清華大學出版社；出版時間：2003 年9月
5. 《泛型編程與STL》作者: Matthew H. Austern ；譯者: 侯捷 ；出版社: 中國電力出版社；出版時間: 2003年1月
6. 《C++Templates中文版》作者: David Vandevoorde / Nicolai M.Josuttis ；譯者: 陳偉柱 ；出版社: 人民郵電出版社 ；出版時間: 2008年2月
7. 《Java與模式》作者：閻宏 ；出版社：電子工業出版社 ；出版時間：2002年10月
8. 《架構風格與基於網絡的軟件架構設計（博士論文）》 作者：Roy Thomas Fielding ；譯者：李錕、廖志剛、劉丹、楊光
9. 《通向實在之路：宇宙法則的完全指南》 作者：羅傑·彭羅斯（英國）；譯者：王文浩；出版社:湖南科技出版社；出版時間:2013-11
10. 《信息論基礎（原書第2版）》作者：Thomas M.Cover Joy A. Thomas，譯者：阮吉壽等出版社：機械工業出版社；出版時間：2008年1月
11. 《道德經》作者：老子（老聃）
12. 《重溫微積分》 作者：齊民友 ；出版社：高等教育出版社；出版時間：2004年1月
13. 《面向對象分析與設計》 作者： Grady Booch / Robert A. Maksimchuk / Michael W. Engel / Bobbi J.Young / Jim Conallen / Kelli A. Houston ；譯者：王海鵬 / 潘加宇 ；出版社：人民郵電出版社；出版時間：2009年8月
