Question

the properties which are proved logically are called as
​

Answer 1

Logic, especially in the field of proof theory, considers theorems as statements (called formulas or well formed formulas) of a formal language.

Answer 2

Answer:

theorem

.............................