Из
𝚜𝚞𝚋𝚜𝚌𝚛𝚒𝚙𝚝𝚒𝚘𝚗 ::= 𝚙𝚛𝚒𝚖𝚊𝚛𝚢 "[" 𝚎𝚡𝚙𝚛𝚎𝚜𝚜𝚒𝚘𝚗_𝚕𝚒𝚜𝚝 "]"
При индексации список 𝚗𝚞𝚖𝚜[𝚒] возвращает 𝚒−й элемент последовательности. Индексы нумеруются с нуля. Это пришло из низкоуровневых языков вроде 𝙲. Там индекс массива — это фактически смещение (𝚘𝚏𝚏𝚜𝚎𝚝) от адреса начала массива в памяти. Первый элемент находится по адресу 𝚋𝚊𝚜𝚎_𝚊𝚍𝚍𝚛𝚎𝚜𝚜 + 𝟶, второй — 𝚋𝚊𝚜𝚎_𝚊𝚍𝚍𝚛𝚎𝚜𝚜 + 𝟷, и так далее. Поэтому индексация с нуля естественна на уровне работы с памятью.
− 𝚗𝚞𝚖𝚜[𝟶] возвращает первый элемент — 𝟷𝟶
− 𝚗𝚞𝚖𝚜[𝟷] возвращает второй элемент — 𝟸𝟶
− 𝚗𝚞𝚖𝚜[𝟸] возвращает третий элемент — 𝟹𝟶
В данном коде создается список из трех элементов: [𝟷𝟶, 𝟸𝟶, 𝟹𝟶]. При обращении 𝚗𝚞𝚖𝚜[𝟷] мы получаем элемент с индексом 𝟷, то есть второй элемент списка, который равен 𝟸𝟶.