Matematické Fórum

Ahoj. Tak mi napadlo či keď označíme [mathjax]P{\left(V\right)}[/mathjax] že existuje formálny teoreticko triedny dôkaz výroku V (bez ohľadu či bol napísaný alebo či je dlhší ako počet nanosekúnd od veľkého tresku) a [mathjax]D{\left(V\right)}\equiv P{\left(V\right)}\vee P{\left(\neg V\right)}[/mathjax]
Platí potom pre každú výrokovú formu V
[mathjax]\neg D{\left(\left(\forall n\right)\left(V{\left(n\right)}\right)\right)}\rightarrow\left(\left(\forall n\right)\left(\neg P{\left(\neg V{\left(n\right)}\right)}\right)\right)[/mathjax]
?