Talk:Q1166618
Jump to navigation
Jump to search
Autodescription — mathematical logic (Q1166618)
description: subfield of mathematics
- Useful links:
- View it! – Images depicting the item on Commons
- Report on constraint conformation of “mathematical logic” claims and statements. Constraints report for items data
For help about classification, see Wikidata:Classification.
- Parent classes (classes of items which contain this one item)
- Subclasses (classes which contain special kinds of items of this class)
- ⟨
mathematical logic
⟩ on wikidata tree visualisation (external tool)(depth=1) - Generic queries for classes
- See also
- This documentation is generated using
{{Item documentation}}
.
Classification
[edit]Removed claim: Property:P279: Q395
If math includes a set of knowledge (eg. formal models), then mathematical logic is a subset of this knowledge. Hence something that is a part of mathematical logic, or an instance of a logic formal model, is also an instance of math knowledge. This would imho imply that
.
– The preceding unsigned comment was added by TomT0m (talk • contribs) at 11 July 2013 (UTC).