Help


from Wikipedia
« »  
** Gödel's completeness theorem for first-order logic: every consistent set of first-order sentences has a completion.
That is, every consistent set of first-order sentences can be extended to a maximal consistent set.

1.992 seconds.