“…Firstly, I mean the psychologically surprising theorem-schemes (Aα ⊃ (α ↔ Gα)) and (Aα ⊃ ( α ↔ Gα)), which are formally-logically provable in the formal axiomatic theory Σ+V, along with the psychologically unexpected theorem-scheme (Aα ⊃ (α ↔ α)). Formal proofs of these psychologically odd theorem-schemes are already published in [40] [41] [55] [74]. In the indicated triple of theorem-schemes (which are the implications), generally speaking, the consequents are false, but in that very rare (extraordinary) particular case, when it is true that Aα, the implications are true and formally provable in Σ+V.…”