Teorie formali degli insiemi

Da Wikipedia, l'enciclopedia libera.

Le teorie formali degli insiemi sono teorie del primo ordine con lo scopo di rappresentare le relazioni insiemistiche e fornire una base per il ragionamento matematico in generale.

Le principali teorie formali degli insiemi sono:

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica