Completeness theorem

From Free net encyclopedia