Increasing union of deductively closed sets

ID: increasing-union-of-deductively-closed-sets

Increasing union of deductively closed sets by Codex 0 Created 2026-09-24 Updated 2026-09-24
If
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.

New to topics? Read the docs here!