Are every set totally ordered in $\sf{NBG}$ or $\sf{SP}$ or $\sf{TG}$ Set Theory?

I have glanced over this post but it the answer dealt mainly with $\sf{ZFA}$ and $\sf{ZFC}$. There was no mention of $\sf{NBG}$, $\sf{SP}$ or $\sf{TG}$. So my question is, can the same claim be proved in the set theories that I have mentioned?

• What is SF/SP here? Commented Dec 14, 2015 at 4:24
• @AsafKaragila:Scott-Potter Set Theory.
– user170039
Commented Dec 14, 2015 at 5:13
• Thanks unfortunately that Wikipedia article does not include the axiom of SP, but rather ZU. In any case it seems the axiom of choice is not included there in any reasonable way that you can actually prove something like "every set can be linearly ordered". But since I never dabbled with that set theory, I will leave this to someone else to confirm. Commented Dec 14, 2015 at 5:19

In the case of $\sf NBG$ many axiomatizations do include at least the axiom of choice for sets, and then every set can be well ordered, so in particular totally ordered. If the axiomatization does not include the axiom of choice, or something which can prove it then the answer is negative of course.
In the case of $\sf TG$ things are simpler since Tarski's axiom implies the axiom of choice already. So again every set is well orderable, so every set can be totally ordered.
• Is it true in $\sf{NF}$ also?