15 Aug
2008
15 Aug
'08
3:05 p.m.
I wrote: << this axiom looks logically equivalent to it.
because there is, I think, a short chain of reasoning showing the equivalence of the two statements. But any two true statements are logically equivalent. Can "logically equivalent" be defined so it's not a trivial statement? --Dan _____________________________________________________________________ "It don't mean a thing if it ain't got that certain je ne sais quoi." --Peter Schickele