Mathematical logic
Wiskundige logica De tak van wetenschap, waar men zich bezighoudt met geldige argumenten en bewerkingen, met gebruikmaking van een kunstmatige taal, die is ontworpen om de dubbelzinnigheden en de logische tekortkomingen van een natuurlijke taal te vermijden.
