有限数系

finite number system