什么叫做正自然数解?