数理論理学（数学基礎論）　その13

数理論理学（数学基礎論）　その13at MATH

数理論理学（数学基礎論）　その13 - 暇つぶし2ch402:１３２人目の素数さん
18/10/13 23:49:02.38 J/d6bjia.net
>>377
「メタ数学」のほうがいいよね。「記号論理」という名称ももはや適切なのかよくわからない
「形式体系」を議論するという意味ではまあ記号論理なんだろうけど、意味論的な議論もするのだからちょっとおかしい

次ページ

続きを表示

1を表示