Teorie formali degli insiemi

Da Wikipedia, l'enciclopedia libera.
Jump to navigation Jump to search

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