formal system (Q2185): Difference between revisions

Revision as of 14:23, 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

Revision as of 14:22, 9 February 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 149,951 edits ‎Created claim: instance of (P2): type of system (Q174) ← Older edit	Revision as of 14:23, 9 February 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 149,951 edits ‎Created claim: subclass of (P1): system (Q95) Newer edit →
	Property / subclass of
		system
	Property / subclass of: system / rank
		Normal rank