Terms containing not provable

Subject	English	Russian
progr.	not provable	недоказуемый (ssn)
logic	why would he lie about something as easily provable as whether or not he talked to her?	К чему бы ему лгать о том, что легко подтвердить или опровергнуть, в частности о факте разговора с ней? (Alex_Odeychuk)