Ein Kalkül heißt genau dann im Hinblick auf eine spezielle Semantik adäquat, wenn er (semantisch) korrekt und (semantisch) vollständig ist.
aɪn kˈalkyːl hˈaɪst ɡənˈaʊ dan ɪm hˈɪnblɪk aʊf ˌaɪnə ʃpeːtsjˈɛlə zeːmˈantiːk ˌɑdɛːkvˈɑːt, vˌɛn ɛɾ zeːmˈantɪʃ kɔrˈɛkt ʊnt zeːmˈantɪʃ fˈɔlʃtˌɛndɪç ɪst.