算术规律是归纳的真命题吗？