I was wondering if anybody knows of a probability model that sketchs or outlines a proof of finite cancellation or general finite cancellation axioms (in relatively explicit detail), in order to prove scotts theorem- I am just wanting to know the basic proof techniques. I presume it would use reducto or induction