>>377
「メタ数学」のほうがいいよね。「記号論理」という名称ももはや適切なのかよくわからない
「形式体系」を議論するという意味ではまあ記号論理なんだろうけど、意味論的な議論もするのだからちょっとおかしい