Von Neumannova–Bernaysova–Gödelova teorie množin: Porovnání verzí