I metalingvistikken er man opptatt av skillet mellom språket i seg selv og det budskapet språket formidler. Skillet viser blant annet til at lyden av ordet katt representerer et hvilket som helst medlem av arten katt. Tilsvarende dreier metamatematikken seg ikke om hvordan man beviser matematiske setninger, men om hva som kan bevises og ikke bevises innenfor et matematisk-logisk aksiomsystem. Innenfor denne vitenskapsgren har Alfred North Whitehead og Bertrand Russell utviklet tesen om diskontinuitet mellom en klasse og dens elementer. En klasse kan ikke være et element i seg selv, og et element kan ikke utgjøre en hel klasse. Element og klasse utgjør forskjellige logiske typer og er på forskjellige abstraksjonsnivå.