To Search
Back
Add Comment
Topics
Vote
Results
metatheorem
statement about a formal system proven in a metalanguage
--Agreed Upon Solutions
The discussion does not exist would you like to add the first comment?
anonymous
This comment is a:
Submit