`OAI/SetTheory/PartitionConsistency/Logic/`

182 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

Completeness.lean 70 declarations
CountableModels.lean 19 declarations
GroundModels.lean 33 declarations
Proofs.lean 26 declarations
SetLanguage.lean 34 declarations