1. .
    dogruluk ve kanitlanabilirlik arasindaki iliskileri inceleyen matematiksel mantik dali.
    1 ... edward downing