18/10/14 01:33:04.49 PQyycKNh.net
>>384
> 「メタ数学」のほうがいいよね。「記号論理」という名称ももはや適切なのかよくわからない
記号論理学あるいは数理論理学の目的としてはメタ数学（数学基礎論）つまり数学理論を形式化して分析（し数学の基礎を考察）することだけとは限らずもっと様々な目的がある
18/10/14 01:33:04.49 PQyycKNh.net
>>384
> 「メタ数学」のほうがいいよね。「記号論理」という名称ももはや適切なのかよくわからない
記号論理学あるいは数理論理学の目的としてはメタ数学（数学基礎論）つまり数学理論を形式化して分析（し数学の基礎を考察）することだけとは限らずもっと様々な目的がある