推 yangs0618 : 看到看不懂的符號再去認識就好 05/10 12:43
→ loveflames : 有些符號不知道從何查起XD 05/10 13:18
→ loveflames : 例如這個indescribable，完全看不懂定義 05/10 13:18
推 Orodruin : 去修數導R 05/10 15:54
→ recorriendo : "只有那些大基數"...不知道該說什麼 05/11 05:12
→ recorriendo : large cardinal幾乎已是集合論裡最高端的內容 05/11 05:13
→ recorriendo : 沒有把初等集合論弄懂 是不可能知道那在幹嘛的 05/11 05:14
→ recorriendo : 集合論聖經Jech 從第一章慢慢看就對了 05/11 05:16
→ recorriendo : 邏輯也要有一定的底子 例如第一個連結裡那些符號是 05/11 05:20
→ recorriendo : 邏輯上對語句的分層 05/11 05:20
→ loveflames : (Vκ+n, ∈, A)類似這種形式A是數理邏輯學得到的 05/11 08:10
→ loveflames : 嗎 05/11 08:10
→ Desperato : 感謝r大 我以為看不懂是很糟糕的問題...qw q 05/11 08:16
→ recorriendo : 查查Arithmetical hierarchy, Von Neumann universe 05/11 08:36
→ recorriendo : (Vκ+n,∈,A)這個應該是forcing 05/11 09:14
→ loveflames : 好像是poset，正在查 05/11 09:30
→ loveflames : 偷看了一下Jech後面的章節，第一個元素是指universe 05/12 11:09
→ loveflames : 後面是language的符號，這下看懂了 05/12 11:09