Logica matematica
La logica matematica è un ramo della matematica, il suo oggetto di ricerca è quello di dimostrare e calcolare i due concetti intuitivi del sistema simbolico dopo la forma. La logica matematica è una parte indispensabile della fondazione matematica. La portata della ricerca della logica matematica fa parte della logica che può essere modellata matematicamente. Precedentemente conosciuto come logica simbolica (al contrario della logica filosofica), conosciuta anche come meta-matematica, l'uso di quest'ultimo è ora limitato ad alcuni aspetti della prova. ...