Corradini, A.; Galvan, S. A Note on Gödel’s First Disjunct Formalised in DTK System. LLP 2024, 33, 555-565.