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)


 * Before posting up any more proofs using this claim, it would be good to post both BPIT and GCT up on this site. As it stands, with the crucial information missing, it makes us look embarrassingly lame. It makes us look like a bunch of amateurs pretending to be clever, which is one of the main criticisms which is brought against this site. --prime mover (talk) 22:55, 13 December 2012 (UTC)


 * Sure. I can try to do some, but a lot of the set theory is over my head. It disturbs me, however, to see "this theorem depends on AoC" when in fact it only depends on BPIT, AoCC, AoDC, etc., even if I don't personally know how to prove that. --Dfeuer (talk) 22:59, 13 December 2012 (UTC)