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

数理論理学（数学基礎論）　その13at MATH

数理論理学（数学基礎論）　その13 - 暇つぶし2ch774:１３２人目の素数さん
19/02/04 21:14:29.26 R6SYhDOS.net
集合論のモデルって
メタ的に考えて
普通の意味でのモデルみたいなモノと認識できるってだけでは？
たとえば順序数の全体Ordが順序数としての性質を持っているってメタ的には認識できるってのと同じような

次ページ

続きを表示

1を表示