User:Malore/Wikidata structure/Mathematics

Modelling proof

• Create properties
  •  Not done "statement assumptions formula"/"hypothesis": mathematical expression
  •  Not done "statement conclusion formula": mathematical expression
  •  Not done "mathematical statement"/"claim": multilingual text
  •  Not done "demonstration"/"proof": mathematical formula
  •  Not done "demonstration sketch": multilingual text
  •  Doing… "mathematical concept definition formula": mathematical formula
  •  Doing… "mathematical concept definition"/"definition sketch": multilingual text

Options

• Create an item for every mathematical expression with statements like "implies" (qualified with ""), "is implied by", "equivalent to"

Proposals

• add "languages" to mathematical expressions in order to indicate the formal language (first order logic, proposition logic...)
• add a "math" language (in addition to "English", "Italian", "French"...) in order to visualize mathematical expressions

Questions

• How to name theorems without a name?