Vogtova-Russellova věta

viz Russellova-Vogtova věta