'''sound''' adj.

비교: [[완전성completeness]]

[[타입,type]]에 대해, 타입건전성 type_soundness = 타입안정성 type_safety.[* WpEn:Type_safety]

----
https://foldoc.org/sound
 [[inference_system]]이
[[WpKo:건전성]]
[[WpEn:Soundness]]

----
WIKIADMIN
RENAMETHISPAGE