> I think there is no consensus to use index sets starting with 1, > especially not for tuples/words (actually, there was a consensus to start > with 0 for words, see discussion in > https://groups.google.com/g/metamath/c/UwTUuNPgaB0/m/NdWefzG4AgAJ).
There has never been any consensus regarduing words. There was an authoritarian decision by Carneiro, which was then endorsed by people who wanted to show him their affection or who didn't give a damn. > Regarding matrices, I am also in favour of starting with 1, but Norm's > argument is only for one of many criteria discussed here. > Sure. :) -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/1b81346c-bd04-4e8f-9cc7-bf52921e7adfn%40googlegroups.com.
