completeness theorem

entry1 galeri
    ?.