初等整数論の初等って、論理学観点からはどういう意味になるの?