Bewijstheorie

Bewijstheorie kan ook worden beschouwd als een tak van de filosofische logica, waarin de bewijstheoretische semantiek het belangrijkste is.

Het hangt ervan af dat bepaalde ideeën in de structurele bewijstheorie al dan niet haalbaar zijn.

Metawiskunde heeft vooral betrekking op bepaalde aspecten van de bewijstheorie.

Het deelgebied binnen de wiskunde dat bekendstaat als bewijstheorie bestudeert formele axiomasystemen en de bewijzen die binnen deze systemen kunnen worden uitgevoerd.

Hiermee introduceerde Gentzen het idee van de hoofdzin en de ordinale analyse, die zeer belangrijk zijn geworden in de bewijstheorie.