О. М. Данильчук, «Математична логіка і філософія», ias, с. 80-82, Лис 2023.