The set-theory tag is explicitly about mathematics (and metamathematics) in the context of $\mathsf{ZFC}$ and its subsystems and extensions. Every now and then we see questions about other set theories ($\mathsf{NF}$ is popular enough, but there are other versions, see here, for instance). ...