#Prove that propositions can be made from definitions.

2 messages · Page 1 of 1 (latest)

arctic zodiac
#

Prove that propositions can be made from definitions.

#

Consider a set of definitions in a formal system of mathematics. Prove that given any set of n definitions, there exists a finite sequence of deductive steps that can be used to derive any valid proposition within the scope of those definitions, and provide a formal proof of this statement.