Definition talk:Language of Propositional Logic/Alphabet/Letter

Collection vs set

I deliberately used "collection" here because we are laying the groundwork for all formalisations, in particular set theory (ZF). Therefore it is appropriate to take a naive approach ("infinite collection") instead of referring to precise concepts ("infinite set") which would bring circularity concerns. — Lord_Farin (talk) 07:57, 19 August 2022 (UTC)

Yep, understood.

Is it still worth implementing a link to "infinite collection", or even just link to "infinite"? At the moment the latter has no informal definition of infinite -- but I'm not in the headspace to trawl back through the page history to see whether at any point we did implement a naive definition of "infinite" that can be used to hang an instance like this onto. --prime mover (talk) 09:00, 19 August 2022 (UTC)

I agree that it would be better to have a link here instead of letting people figure out this subtlety implicitly, but I think this would be a project of its own and it could be fraught with contention because of the inevitable handwaviness. Maybe a template call to {{explain}} or so would help to remind us of this work. — Lord_Farin (talk) 09:06, 19 August 2022 (UTC)