s.f.
1. l'essere completo
2. in logica matematica, proprietà di un sistema formale tale che ogni sua asserzione valida sia derivabile come teorema.