数字基础是谁先提出的