Hello! :) My background: MSc in engineering (up to, but not exceeding, multivariable calculus) and the rest is just free time hobby research. I ponder things because it's fun. My musings: I enjoy the idea of sets living within some kind of "universe", so that before a set is used or referred to it must be created. I have not seen anyone refer to set creation before, so let me briefly explain what I mean: I dislike the phrase "Let S be a set, where blablabla..." solely because it conjures up the set S out of thin air. I prefer the phrase "Set S (created from set Q by algorithm blablabla)" because it provides a solid grounding point for the existence of that set, thus decreasing the number of assumptions made! :) Basically, I want to change all "If we blindly assume S exists then..." into "In case Q exists then..." by always requireing all sets to be created before they're referred to. For this, I envision two different ways to create sets: By adding elements to another set (the additive way), or by removing elements from another set (the subtractive way). This creates a chain of dependencies, where the existence of the tail depends on the existence of the head. I have a vague idea that any set should be able to be created by adding elements to the empty set, or by removing elements from the infinite set. Since the additive way should be impossible due to the non-existence of the elements, this leaves us with the subtractive way. The infinite set should be able to refer to parts of itself when listing what elements to remove, to create the new set. Thus the subtractive way should be possible, while the additive should not. The reason I want this is because I have a gut feeling that it should provide me with better insight into how to resolve certain paradoxes. My question: Does this sound like anything you're familiar with? Is there a jargon term for what I'm thinking about? Do you know of any research paper or book that I may read about this?