The significant proposition asserts something, and its proof shows that it is so; in logic every proposition is the form of a proof. Every proposition of logic is a modus ponens presented in signs. (And the modus ponens can not be expressed by a proposition.)