basic constructions: strong axioms further In the context of foundations of mathematics or mathematical logic one studies formal systems – theories – that allow us to formalize much if not all of mathematics (and hence, by extension, at least aspects of mathematical fields such as fundamental physics). There are two different attitudes to what a desirable or interesting foundation should achieve: In proof-theoretic foundations the emphasis is on seeing which formal systems, however convoluted...