flesh out/edit material on finiteness in set theory
add a comment