Talk:Compactness Theorem

Wikipedia claims this theorem is actually equivalent to BPIT and Gödel's Completeness Theorem. --Dfeuer (talk) 07:58, 13 December 2012 (UTC)