Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Increasing union of deductively closed sets

If
(19)
are deductively closed, then each is consistent and their union is consistent and deductively closed. The union is not finitary. Each conclusion follows from the finite character of formal proofs.

Ancestors (6)

  1. Propositional logic
  2. Mathematical logic
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home

Incoming links (1)