>>783
すごく簡単にいえば、命題にとって必要十分になる全ての場合を数え上げて表にでもできるなら完全証明。
それができそうにないなら、完全証明は難しいってことだろ。
πにまつわるエトセトラが一番わかりやすい例かも。