公理化是一種數學方法，旨在從一個學科的理論中挑選出一組初始概念和公理，其中公理是無需證明的基本命題，而初始概念是通過定義引入的。
公理化思想最早出現在古希臘數學家歐幾里得的《幾何原本》中，其中公理被視為自明之理，而其他定理則需要由這些公理來證明。20世紀初，德國數學家希爾伯特進一步發展了這一思想，建立了嚴格的歐氏幾何公理系統。公理化方法強調從儘可能少的基本概念和公理出發，套用形式邏輯的演繹推理來建立數學理論。這種方法要求公理體系滿足相容性、完備性和獨立性。相容性指公理之間沒有矛盾，完備性要求所有基本概念的性質都被明確規定，獨立性則要求公理之間相互獨立，不可以由其他公理推出。
總的來說，公理化是一種系統化的方法，旨在通過邏輯推理來構建數學和其他科學理論的基礎。