ཀོན་ཊིན་ནུམ་ཧེ་པོ་ཐི་སིའིས་ཟེར་མི་རྣམ་གཞག་འདི་གིས་ ཨང་གྲངས་ཆ་ཚན་ལ་ལུ་ཅིག་གི་འབྲེལ་འབྱུང་བཏོན་མི་འདི་ ངོ་མ་རང་ ཟར་མི་ལོ་ ཕེར་ནེན་ཀེལ་ཨེག་སོམ (Zermelo–Fraenkel axioms)གྱི་རྣམ་གཞག་ལས་ རང་དབང་ཨིནམ་སྦེ་སྟོན་ནི་གིས་དོན་ལུ་ཨིན་མས།