And no. We have some simple, lets call them mathematical, axioms but building up from them becomes very, mathematical. And it can lead to very abstract things, like larger and smaller infinities. With naturally each one of them still being totally infinite in themselves. Which leads to a somewhat confusing but interesting question, can you take a larger infinity to then fit it into the smaller?