Gödel's completeness theorem

From Free net encyclopedia