Would a proposition of first-order logic, with N quantifiers, always held the same logical status (of consistency or validity) no matter if the domain has N members, or N + x members? [x being a finite number]
I intuitively think the answer is YES, but what about any kind of proof?!