Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Finitary set of formulae

A set is finitary when it is deductively equivalent to some finite set : both and .

Ancestors (6)

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

Incoming links (1)