14-10-2017, 11:10 PM
A theorem is something that can be logically deduced from pre-existing foundation - other theorems and/or something that is just postulated. This given, I presume Davidsch is going to discuss the proof of the theorems that he proposes?!

