แต่งเองนะครับ
กระบวนการนำ กฎและ นิยามและท.บ.ที่มีและพิสูจน์แล้ว
นำไปประยุกต์
โดยถ้า ท.บ.ใดที่ยังมิได้รับการพิสูจน์จะนำไปใช้มิได้
และถ้า ท.บ.นั้นยังหาข้อขัดแย้งมิได้ก็ต้องพยายาม
พิสูจน์ให้ได้ก่อนนำไปใช้