Category:Bourbaki Assemblies

From ProofWiki
Jump to navigation Jump to search

This category contains results about Bourbaki Assemblies.
Definitions specific to this category can be found in Definitions/Bourbaki Assemblies.

An assembly is a succession of signs written one after another.

Certain signs which are not variables are allowed to be joined in pairs by links, as follows:

$\overbrace {\tau A \Box}^{} A'$

This category currently contains no pages or media.