Source: wikibot/tarski-s-axioms

= Tarski's axioms
{wiki=Tarski's_axioms}