This is true, but I think it’s easier to get the picture if you use the full axioms as your point of departure. Iunno.
This is true, but I think it’s easier to get the picture if you use the full axioms as your point of departure. Iunno.