"Dil" genişlemesi

Question

Lou van den Dries'in notlarında sayfa 32'de, $L$ dili, $Lc$ diline neden böylesi tuhaf bir şekilde genişletilmiş? Sonrasında $satisfaction$ tanımı bunun üzerine kurulmuş. Ama bir insan neden bir kümenin alt kümelerinden birini alıp makyaj yapıp $"Alın!$ $Size$ $yeni$ $semboller!"$ der ki? ("Niye demesin ki?' diyesimiz gelebilir tabii ki).

Comments

Bilim tarihi dersinden aklımda kalan bir bilgi:

Sümerler

 1 kedi 2 kedi 3 kedi  diye sayarlardı ama 

daha fazla kedi  için  "çok kedi" derlermiş.

Yani 4,5,6,... rakamlarını bilmezlerdi. Demekki bazı şeylerin

genişletilmesi gerekir. Örneğin C dili olmasaydı 

belki de  daha iyi olan C++  dili geliştirilmezdi.