Formal proof

تحويل برهان فلسفي