NEGRU, Ion
(Bons Offices, 2018)
Consider the following implicational formulae: A1 = (p ⊃ p), A2 = (((p ⊃ p) ⊃ p) ⊃ p) = ((A1 ⊃ p) ⊃ p), …, Ai+1 = ((Ai ⊃ p) ⊃ p), …, (i = 1, 2, 3, …). Using these formulae (axioms), we may construct the following logics: ...