Axiom of choice | Wikipedia audio article

Timeline of mathematical logic | Wikipedia audio articleПодробнее

Constructive mathematics | Wikipedia audio articleПодробнее

First-order logic | Wikipedia audio articleПодробнее

Axiom of global choice | Wikipedia audio articleПодробнее

Discontinuous linear map | Wikipedia audio articleПодробнее

Finite set | Wikipedia audio articleПодробнее

Axiom schema of Class Comprehension | Wikipedia audio articleПодробнее

Axiom schema of separation | Wikipedia audio articleПодробнее

Totally bounded space | Wikipedia audio articleПодробнее

Formal logic | Wikipedia audio articleПодробнее

Mac Lane set theory | Wikipedia audio articleПодробнее

Constructivism (philosophy of mathematics) | Wikipedia audio articleПодробнее

Mathematical constructivism | Wikipedia audio articleПодробнее

Foundation of mathematics | Wikipedia audio articleПодробнее

Forcing (mathematics) | Wikipedia audio articleПодробнее

Constructivism (mathematics) | Wikipedia audio articleПодробнее

Mathematical formalism | Wikipedia audio articleПодробнее

Mathematical function | Wikipedia audio articleПодробнее

Compactness theorem | Wikipedia audio articleПодробнее