Structuralism (philosophy of mathematics)

Standish） 結構主義 (科學哲學)（英语：Structuralism (philosophy of science)） 《在自然科學中數學的有效性（英语：The Unreasonable Effectiveness of Mathematics in the Natural Sciences）》

（原始内容存档于2023-09-12）.  Reck, Erich. The Prehistory of Mathematical Structuralism 1st. Oxford University Press. 2020: 215–219. ISBN 9780190641221 （英语）

等價結構互換以後仍然不變的性質。傳統的集合論把所有結構都以層層相疊的集合來表達，無法做這種符合結構主義（英语：Structuralism (philosophy of mathematics)）的數學推理。 類型論對類型的定義恰好遵循結構主義，但在「兩個等價的類型可以互換」這一問題上，我們只能對於每一對等價類型A