Definition talk:Formal Language/Alphabet/Letter

From ProofWiki
Jump to navigation Jump to search

Bourbaki merge to Letter

It has become clear that in the evolved framework, there is a natural place for the Bourbaki "mathematical theories". This explicit definition will be added in due course. In the meantime, the separate pages for the concepts as applied in Bourbaki that have generic counterparts will be systematically merged into the general pages. Here, we have the example of "Letter". Refactor templates will be used to make clear where the Bourbaki definition needs to be extracted. No material will be deleted outright. — Lord_Farin (talk) 06:40, 11 May 2022 (UTC)

Upon closer reading, the Bourbaki defined variable instead. Everything now has its place under Definition:Language of Predicate Logic/Bourbaki and Definition:Bourbaki Assembly.
It appears to me that this concludes the refactoring of Bourbaki stuff (at least no other relevant links to this book). Therefore this page could be deleted if so desired. — Lord_Farin (talk) 15:39, 11 May 2022 (UTC)