In direct proof, the conclusion is established by logically combining the axioms, definitions, and earlier theorems.
Στην Συνθετική απόδειξη, το συμπέρασμα καθιερώνεται με το λογικό συνδυασμό των αξιωμάτων, των ορισμών και των προηγούμενων θεωρημάτων.