bool 대수를 wrapping해서 isUndecidable()을 추가해야되나