Lógica Intuicionista I1 : Correção E Completude. C. Q. D. 2020, 17.