Ло́гика доказу́емости, тип логики, которая, в отличие от классической логики высказываний, являющейся двузначной (двухвалентной): любые высказывания либо истинны, либо ложны, – опирается на теоремы Гёделя о неполноте: истинность высказывания не равносильна (не означает) его доказуемости.