>>178
証明はできない　そうでない群があるから
反証もできない　そうである群もあるから

したがって・・・群論からは決定不能（笑）