[請益] 元語言與類型論

[Babbage (驕傲體現於健忘)]

請問  語言學中的元語言 與 邏輯中的類型論(Russell)

是同一個東西嗎？

前者好像比後者晚出現，是不是後者的直接產物呢？

看起來好像  @@

謝謝解惑!!

--

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.50.253
※ 編輯: Babbage         來自: 140.112.50.253       (02/21 13:39)