Axiom schema of replacement | Wikipedia audio article

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

Axiom scheme | Wikipedia audio articleПодробнее

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

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

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

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

Paul Cohen (mathematician) | Wikipedia audio articleПодробнее

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

Von Neumann–Bernays–Gödel set theory | Wikipedia audio articleПодробнее

Tarski–Grothendieck set theory | Wikipedia audio articleПодробнее

Kripke–Platek set theory | Wikipedia audio articleПодробнее

Paul Cohen | Wikipedia audio articleПодробнее

Axiom schema of specificationПодробнее

Axiom schema of replacementПодробнее