Compactness (logic)

  1. REDIRECT Compactness theorem {{redirect category shell|{{R with possibilities}}{{R from related word}}}}