1. Idea · 2. Definition · 3. Tarski-Vaught test · 4. Properties · 5. Elementary embeddings between models of set theory.
確定! 回上一頁