dillerin dili veyahut dillerin matematiği olarak tanımlanabilecek bilim dalı. daha sonra buraya uzun ve detaylı yorum gelecek.