(ש"ע) שלמות

שלמות (באנגלית: Completeness) בלוגיקה ובלוגיקה מתמטית היא תכונה של מערכת אקסיומטית. מערכת נתונה של אקסיומות וכללי היסק היא שלמה אם אפשר להכריע בה לגבי כל נוסחה אמיתית, כלומר, אפשר להוכיח את הנוסחה או את שלילתה. במלים אחרות, אין בה טענות עצמאיות.

להמשך המאמר ראה Wikipedia.org...

n. wholeness, perfection, state of being complete; state of being completed

See more at Wikipedia.org...

---

Noun
1. the state of being complete and entire; having everything that is needed
(antonym) incompleteness
(hypernym) integrity, unity, wholeness
(hyponym) entirety, entireness, totality
(attribute) complete
2. (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system
(hypernym) logicality, logicalness
(classification) logic

n. úplnost

Rzecz. całkowitość