Löb's theorem همچنین شناخته شده با: نظریه مطابقتی صدق برابر انگلیک (انگلیسی): Correspondence theory of truth