bugün

dogruluk ve kanitlanabilirlik arasindaki iliskileri inceleyen matematiksel mantik dali.