Thoralf Skolem

• Abstract Set Theory