Item:Q2181: Difference between revisions

← Older edit

@@ Property / subclass of @@
+formal system
@@ Property / subclass of: formal system / rank @@
+Normal rank
@@ Property / has use @@
+foundations of mathematics
@@ Property / has use: foundations of mathematics / rank @@
+Normal rank
@@ Property / has use: foundations of mathematics / qualifier @@
+statement supported by: formalism
@@ Property / has quality @@
+formal grammar
@@ Property / has quality: formal grammar / rank @@
+Normal rank
@@ Property / has quality @@
+formal semantics
@@ Property / has quality: formal semantics / rank @@
+Normal rank