enumerate
81Number — Num ber, v. t. [imp. & p. p. {Numbered} (n[u^]m b[ e]rd); p. pr & vb. n. {Numbering}.] [OE. nombren, noumbren, F. nombrer, fr. L. numerare, numeratum. See {Number}, n.] [1913 Webster] 1. To count; to reckon; to ascertain the units of; to… …
82Numbered — Number Num ber, v. t. [imp. & p. p. {Numbered} (n[u^]m b[ e]rd); p. pr & vb. n. {Numbering}.] [OE. nombren, noumbren, F. nombrer, fr. L. numerare, numeratum. See {Number}, n.] [1913 Webster] 1. To count; to reckon; to ascertain the units of; to… …
83Numbering — Number Num ber, v. t. [imp. & p. p. {Numbered} (n[u^]m b[ e]rd); p. pr & vb. n. {Numbering}.] [OE. nombren, noumbren, F. nombrer, fr. L. numerare, numeratum. See {Number}, n.] [1913 Webster] 1. To count; to reckon; to ascertain the units of; to… …
84Numbering machine — Number Num ber, v. t. [imp. & p. p. {Numbered} (n[u^]m b[ e]rd); p. pr & vb. n. {Numbering}.] [OE. nombren, noumbren, F. nombrer, fr. L. numerare, numeratum. See {Number}, n.] [1913 Webster] 1. To count; to reckon; to ascertain the units of; to… …
85Reckon — Reck on (r[e^]k n), v. t. [imp. & p. p. {Reckoned} (r[e^]k nd); p. pr. & vb. n. {Reckoning}.] [OE. rekenen, AS. gerecenian to explain; akin to D. rekenen to reckon, G. rechnen, OHG. rehhan[=o]n (cf. Goth. rahnjan), and to E. reck, rake an… …
86Reckoned — Reckon Reck on (r[e^]k n), v. t. [imp. & p. p. {Reckoned} (r[e^]k nd); p. pr. & vb. n. {Reckoning}.] [OE. rekenen, AS. gerecenian to explain; akin to D. rekenen to reckon, G. rechnen, OHG. rehhan[=o]n (cf. Goth. rahnjan), and to E. reck, rake an… …
87Reckoning — Reckon Reck on (r[e^]k n), v. t. [imp. & p. p. {Reckoned} (r[e^]k nd); p. pr. & vb. n. {Reckoning}.] [OE. rekenen, AS. gerecenian to explain; akin to D. rekenen to reckon, G. rechnen, OHG. rehhan[=o]n (cf. Goth. rahnjan), and to E. reck, rake an… …
88To count out — Count Count (kount), v. t. [imp. & p. p. {Counted}; p. pr. & vb. n. {Counting}.] [OF. conter, and later (etymological spelling) compter, in modern French thus distinguished; conter to relate (cf. {Recount}, {Account}), compter to count; fr. L.… …
89Definable real number — A real number a is first order definable in the language of set theory, without parameters, if there is a formula φ in the language of set theory, with one free variable, such that a is the unique real number such that φ(a) holds in the standard… …
90Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… …
