然後佢哋會靠住用呢啲公理同定理，再用一啲數學證明嘅方法推斷出一啲實啱（always true）嘅新命題，而呢啲新推出嚟嘅命題會俾好多數學家攞嚟詏，如果詏完一輪之後啲數學家覺得個證明冇問題嘅話，條新命題就會變成一條新嘅定理。