完全性
completeness
様々な意味がある
意味論的完全性
構文論的完全性