3 ms·
What does "naming" mean? Assigning a symbol? But who said that the set of symbols must be countable?
by ithkuil 1mo ago
What does "naming" mean?
Assigning a symbol? But who said that the set of symbols must be countable?
- amavect 1mo agoMy hidden assumption: I said the set of names must be countable! I assumed you would know that naming means assigning a finite string (in the Ithkuil writing system of course). and don't nitpick further or else I'll have to write a proof in Agda or Rocq lol