http://psilogic.livejournal.com/ ([identity profile] psilogic.livejournal.com) wrote in [personal profile] psilogic 2005-11-26 09:27 am (UTC)

следует много чего.
теорема Г. гласит, что некоторые утверждения можно сформулировать, но нельзя ни доказать, ни опровергнуть - если оставаться в пределах некоторых логических систем.

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting