WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Countable set

Revision #2192 → #2855 · back to history

addedOrdinal number98c2afd2ce87

addedRecursively enumerable set3e0a20273a18

addedLöwenheim–Skolem theorem575b1071e424

addedConstructible universef6033b4bda48

addedDedekind-finite setf09eeea1329d