Metamathematics

Name

Metamathematics

Proof theory

Description

Metatheories of mathematical theories particularly concerned with proofs of consistency, expressed in calculi (formal systems). Closely related to metalogic.

Categorization

Content quality

Yet to rate

Language English

Editorial

Exclude Wikipedia

include

1A4N

C0969

docid

11309690

d7nid

226163

Authored

Authored
1999-12-31 - 23:00 by tomi

Last edited
2024-12-02 - 21:11 by system

Presentations

UIA Encyclopedia: https://encyclopedia.uia.org/concept/metamathematics

Sandbox: https://www.askthefox.org/concept/metamathematics