>>285
厳密性と無矛盾性は直接関係ない。

数学的に厳密の方が反論との比較・評価が容易になるだけ。