Kanıtlanış nedir? Kanıtlanışın TDK'ya göre anlamı nedir?