metamatematik ne demek?
- Bk. kanıtlama kuramı,
kanıtlama kuramı
- Biçimsel dizgelerde kanıtlamayı konu edinen dizimbilim dalı.
Proof theory, metamathematics.
Métamathématique
metamatematik bilimi
Metamathematics
metamathematics
- Metamatematik bilimi
Proof theory, metamathematics.
Métamathématique
Metamathematics