Axioms..........................................................
(A1)–(A3), 7
(A4),(A5), 12
(AM1), 7
(AM2), 13
(B1), (B2), 465
(C1)–(C4), 106
(D1)–(D3), 27
(M1)–(M4), 7, 83
(M5), 16
(N1)–(N3), 5
(O1)–(O4), 8
(O4)′,14
(P1)–(P3), 13
(P4), 19
(Pr1)–(Pr3), 465
(V1)–(V3), 261
(V3)′, 261