Typentheorie
Het einde van de vorige eeuw liet een opleving zien van de belangstelling voor de logische paradoxen, die nog niet van de semantische paradoxen werden onderscheiden. Om de paradox van Russellen andere paradoxen onschadelijk te maken sprak Russell het principe van de vicieuze cirkel uit: ‘stel dat als een zekere verzameling (‘collection’) een totaal...