Logical Nature and Infinity. tr 2022, 16 (7).