知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。
要公理化一个知识系统，就是要去证明该系统的主张都可以由数目不多而又可明确理解的陈述（公理）推导出来。