Kurgaev, A. F. The Formalization of Lists in the Meta-Language of Normal Forms of Knowledge. Dopov. Nac. akad. nauk Ukr. 2024, 18-27.