0384132人目の素数さん垢版 | 大砲2018/10/13(土) 23:49:02.38ID:J/d6bjia >>377 「メタ数学」のほうがいいよね。「記号論理」という名称ももはや適切なのかよくわからない 「形式体系」を議論するという意味ではまあ記号論理なんだろうけど、意味論的な議論もするのだからちょっとおかしい