>>781
そうやなー。
すごく簡単に言うと、まず文を関数で表現するっていうアイディアがあったんや。
ウィトはその関数で表せる文と表せない文とがあると言ったんや。
これがウィトの功績。今まではごちゃまぜやったからな。
哲学はその後大きく様変わりすることになる。
ざっくりとした説明やから細かな指摘は勘弁して。