This space of forms, along with the two axioms that induce its [[partition of a set|partition]] into exactly two [[equivalence class]]es, is what [[George Spencer Brown]] called the ''primary arithmetic''. | This space of forms, along with the two axioms that induce its [[partition of a set|partition]] into exactly two [[equivalence class]]es, is what [[George Spencer Brown]] called the ''primary arithmetic''. |