There are lots of different propositions. You can find them in books, in scholl (university), in Wikipedia. Everywhere. And I think that is the main reason why we should pick them up in one place.

This is a proposal for a new Wikimedia sister project.
Black square symbolizes the end of a provement. Q.E.D is a latin expression represents the end of a provement.
Status of the proposal
Reasonno support. Pecopteris (talk) 04:53, 20 August 2023 (UTC)[reply]
Details of the proposal
Project descriptionThe free encyclopedia of provements for all theorems, lemmas and other propositions from all fields of study
Is it a multilingual wiki?It would be better to have many language versions (like on Wikipedia)
Potential number of languagesThe more the better
Proposed (.org, .net, .ru) Available now:
Technical requirements
New features to requireMath formulas support. Although I think this is not a special technical requirement
Proposed interwiki prefixwp:
Development (Russian language) (90+ provements)
Interested participants

The important thing is that there have to be a provement for most of propositions. But the problem is that sometimes they are big, difficult, inarticulate or missing at all! It would be really cool to give simple (or at least understandable) provements to such propositions.

And that is how I came up with an idea of such an encyclopedia.

WikiProves mission — arrange all theorems, lemmas and propositions with simple and evident provements

Arguments edit

  • A lot of theorems, lemmas and propositions to fill a wiki.
  • Pupils and students are often looking for correct statement and simple provements.
  • Fits the Wikimedia Foundation mission
  • Widipedia and other sites have lots of articles about exact and natural sciences. Some of them have provements for propositions. But the style of provement block varies from article to article. In WikiProves all provements will have the same style.
  • A possibility to see a provement for people who want to learn better.
  • No problems with copyrights (almost everything in this sphere is a public domain).

Alternative names edit

  • WikiProofs
  • WikiStatement
  • WikiStates

Possible features edit

A list of features which I use on now. I find them really useful. It is not like they have to be in WikiProves as a Wikimedia project, but I think they make WikiProves more attractive and handy for users.

Rules of writing provements edit

It is important for every article on WikiProves to be simple and evident. That is why I created some rules everyone have to follow when writing a provement. (a hole page on

  • Write in plain language
  • Explain every strange move
  • Add more informative illustrations
  • Give lots of examples
  • Do not skip logical steps

Simple and constant article style edit

It is much more comfortable to see what you expect ot see rather than trying to find statement which looks different from page to page.

Every article (about proposition) starts with a bow which has a color of a fild of study it refers to with a text of a statment in it.


If the proposition has multiply names, I put them in a special box wich is placed below the statement:


Colored fields of study edit

The idea is to use different colours for different fields of study to personalise them.

For example, blue for calculus, orange for analytical geometry a so on.

Current colors:

Field of study Background color Border color
Common category #E4F0DF #B6E190
Calculus #E7EDF9 #9FBAF9
Analytical geometry #F9F0E7 #F9CB9F
Algebra #E8D9F9 #C99FF9
Linear algebra #FDF9C5 #F3DB00
Physics #DCF5F9 #92D9E4

Proposed by edit


People interested edit

  1. CMTV
  2. -Jztinfinity (talk) 15:43, 5 July 2016 (UTC)[reply]
  3. --Bart Michels (talk) 22:08, 10 November 2017 (UTC)[reply]

Discussion edit

Other comments edit

  • Unclear what this is about. Whether this is covered by Wikiversity depends on what the precise goal is. Is it meant to be a database of mathematics? Then it is not covered by Wikiversity and would not match their format. In that case, I do think it would make a healthy project. Actually, it already is, see proofwiki:. --Bart Michels (talk) 21:47, 10 November 2017 (UTC)[reply]