Von Neumannova-Bernaysova-Gödelova teorie množin (někdy také označovaná jako Gödelova-Bernaysova teorie množin nebo NBG či GB) je jedním z nejšířeji přijatých a používaných axiomatických systémů teorie množin.Stejně jako v případě Zermelovy-Fraenkelovy teorie množin nebo Kelleyova-Morseova teorie množin se jedná o (úspěšný) pokus postavit teorii množin a tím i celou moderní matematiku na přísných formálních základech, které zabrání sporům typu Russellova paradoxu.