30–37..

System funktorów zdaniotwórczych jest funkcjonalnie zupełny wtedy i tylko wtedy, gdy można w nim wyrazić wszystkie funkcje predykatywne.

Język jest wyrażeniowo zupełny jeśli można za jego pomocą opisać dziedzinę dla której został on przewidziany.

Język formalny jest zupełny odnośnie do pewnej właściwości wtedy i tylko wtedy, gdy każde zdanie posiadające daną cechę jest twierdzeniem.

Zupełność w matematyce W matematyce, „zupełność” jest określeniem przyjmującym różne znaczenia w zależności od danego zagadnienia; nie w każdej sytuacji w której występuje „zupełność” mówi się o „zupełności”.

Przestrzeń metryczna (lub przestrzeń jednostajna) nazywamy zupełną, gdy każdy ciąg Cauchy’ego elementów tej przestrzeni jest zbieżny do pewnego jej punktu. Miarę nazywamy zupełną, gdy każdy podzbiór zbioru miary zero, czyli każdy tzw. zbiór zaniedbywalny, jest mierzalny (i w konsekwencji miary zero). Porządek częściowy nazywamy zupełnym, gdy każdy jego ograniczony z dołu podzbiór ma kres dolny.