- 107 名前：１３２人目の素数さん mailto:sage [2019/09/13(金) 19:04:55.99 ID:QEVZazxA.net]
- >>91
www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf
>以下では，集合論の公理を仮定する．
>定義18. 1. x が推移的である(Trans(x)) とは，
>∀y∀z(z ∈ y ∈ x → z ∈ x)
>となることである．
ニワトリは日本語も正しく読めないのか？
定義18の1は、
「集合xが推移的」
という言葉の意味を定義しただけ
どこにも
「全ての集合は推移的である」
なんて公理は設定してないｗ
ついでにいうと、これ、続きがあるぞ
>2. x が順序数である（Ord(x)）とは，
>Trans(x) ∧ ∀y ∈ x(Trans(y))
>となることである．
>上の定義を言葉で述べると，
>「x が推移的とは x が ∈ に関して推移的なこと」，
>「x が順序数であるとは，x だけでなくその元もすべて推移的なこと」
>となる．
これもどこにも
「全ての集合は順序数である」
なんて公理は設定してないｗ
|
 |
