Title: Gong li xue, yuan shu xue yu zhe xue
Subjects: Axioms, Metamathematics, Philosophy, Symbolic and mathematical Logic