:::::::::: That's unnecessary semantics. Replace "rigorous" with whatever substitute you prefer, but a proof that relies on fewer or less doubtful assumptions is more [rigorous/robust/credible/advantageous] than one that relies on many or more doubtful assumptions. For example, a proof that relies on the [[Axiom of Choice]] is not as good as one that solves the same problem without resorting to that axiom.--[[User:Aschlafly|Andy Schlafly]] 11:19, 10 April 2012 (EDT) | :::::::::: That's unnecessary semantics. Replace "rigorous" with whatever substitute you prefer, but a proof that relies on fewer or less doubtful assumptions is more [rigorous/robust/credible/advantageous] than one that relies on many or more doubtful assumptions. For example, a proof that relies on the [[Axiom of Choice]] is not as good as one that solves the same problem without resorting to that axiom.--[[User:Aschlafly|Andy Schlafly]] 11:19, 10 April 2012 (EDT) |