El axioma de regularidad () es totalmente independiente del resto de axiomas de ZF y NBG.