Actually, you were thinking clearly. We can interpret 1.12 as axioms of proposition calculus, in a strange form of course. As I’ve done partly because of not very rigorous narration.
Actually, you were thinking clearly. We can interpret 1.12 as axioms of proposition calculus, in a strange form of course. As I’ve done partly because of not very rigorous narration.