They do not really require it but note my other answer in this subthread.

		cjfd on Nov 2, 2023 \| parent \| context \| favorite \| on: What do we mean by "the foundations of mathematics... They do not really require it but note my other answer in this subthread.