а выражение для 0,0,0 в лямбда-исчислении как ни крути оказывается длиннее.
но да, вы опять скажете что можно выдумать странную систему с нативным 0,0,0
в математике [0] == 0 ИМХО. Т.е. точка. А [0,0,0] строка, другой объект. Еще "вариабельность" разная (и степени свободы), ведт одно кодирует точку на прямой - одна степень свободы, а второе - целых три