数学基礎論・数理論理学　その14

数学基礎論・数理論理学　その14at MATH

数学基礎論・数理論理学　その14 - 暇つぶし2ch622:１３２人目の素数さん
14/03/15 17:20:24.06
>>618
標準自然数の真理述語の一意性はかなり微妙

それは背景の集合論に依存して真理述語1、真理述語2……
と同格の複数のものが考えられる、という立場もあり得るけど
あまり明確に主張してる人は聞いたこと無いなあ

次ページ

続きを表示

1を表示