Assertion: wisdom | /r/HasAspect | related meaning
Facets:
value: in mathematical logic
type: OTHER
Source sentences:
text: Soundness also has a related meaning in mathematical logic, wherein logical systems are sound if and only if every formula that can be proved in the system is logically valid with respect to the semantics of the system.