Page "Axiom of choice" Paragraph 104
from
Wikipedia
** Gödel's completeness theorem for first-order logic: every consistent set of first-order sentences has a completion.
Page 1 of 1.
1.992 seconds.