bugün

kanıt teorisi

dogruluk ve kanitlanabilirlik arasindaki iliskileri inceleyen matematiksel mantik dali.