Completeness and definability | lit.salon