Ontify

⌘S

Metatheorem - Ontify

Metatheorem

Statement about a formal system proven in a metalanguage.

Wikipedia | Metatheorem

External Pages About Metatheorem

KBpedia

Statements about Metatheorem

Subclass Of

Studied By

Powered by

Metamathematics