completeness theorem

Dari Wikipedia, ensiklopedia bebas