Bevisføringen ble deretter foretatt deduktivt ved ett logisk skritt av gangen, hvor hvert enkelt trinn var ugjendrivelig og vanligvis meget enkelt og innlysende.