非アルキメデス的順序体.