Jiri Lebl wrote: > Aatu Koskensilta wrote: >> Jiri Lebl wrote: >>> A is nonsense exactly because one cannot ask for truth or false of >>> something that's undecidable in a certain axiom system. >> What is this "certain axiom system" and why would it be relevant to >> whether one can "ask for truth or false" of something? > > Do you on purpose respond so out of context to a single sentence? You > obviously have no clue what statement "A" was anymore! (or you pretend > not to know?)
So you really wish to propose that if a statement is undecidable in ZFC one cannot ask whether it is true or not?
-- Aatu Koskensilta (firstname.lastname@example.org)
"Wovon man nicht sprechen kann, daruber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus