>>329
初期値問題の一意性の定理はある。