发送短信 : Degree structures in Skolem models of Peano arithmetics /