Title: Luo ji yu she ji fa
Subjects: Axioms, Logic