Russells Paradox

<=> Logizismus

<=> Menge

<== Inferenzverfahren

<== Typenlogik