Dato: 02.03.98 | Tema: Mengde teori. (Se Hilberts tale på ICM1900, problem 1 og 2.) | |
§ 18.1.1 | F | Well-ordering. |
Ø | - | |
§ 18.1.2 | F | Utvalgsaksiomet (The axiom of choice). |
Ø | - | |
§ 18.1.3 | F | Aksiomatisering av mengde teori. |
Ø | - | |
§ | F | |
Ø | - | |
§ | F | |
Ø | - | |
§ | F | |
Ø | - |