formal system (Q2185): Difference between revisions

Latest revision as of 14:26, 9 February 2023

any well-defined system of abstract thought based on the model of mathematics

Language	Label	Description	Also known as
English	formal system	any well-defined system of abstract thought based on the model of mathematics	logical calculus

0 references

0 references

0 references

0 references

0 references

@@ Property / instance of @@
+type of system
@@ Property / instance of: type of system / rank @@
+Normal rank
@@ Property / subclass of @@
+system
@@ Property / subclass of: system / rank @@
+Normal rank
@@ Property / subclass of @@
+artificial entity
@@ Property / subclass of: artificial entity / rank @@
+Normal rank
@@ Property / has quality @@
+completeness
@@ Property / has quality: completeness / rank @@
+Normal rank
@@ Property / has quality @@
+consistency
@@ Property / has quality: consistency / rank @@
+Normal rank