Implementation of mathematics in set theory (source code)

= Implementation of mathematics in set theory
{wiki=Implementation_of_mathematics_in_set_theory}