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

325 ：１３２人目の素数さん：2021/05/21(金) 13:33:56.31 ID:i7zfJXgh.net

竹内外史のAxiomatic set theory読んでるんだが、おかしな点は色々あった

冒頭30ページあたりから何の理もなくいきなり｢推移的なZFのモデル｣が出てきたり、
順序集合のフィルターの定義が後々の議論に矛盾が出てくるようなものであったり、
B値構造の定義に関数記号の解釈が丸ごと抜けてたり、
>>317のように証明に齟齬みたいなのがあったり、断りなく構造と準同型写像の合成を出してきたり、、

とにかく、一旦書いた後の原稿の推敲がされてない感が強い
数学書は誤字･脱字を直せば終わりじゃねぇんだぞと言いたい