ВИФ2 NE : Ветка : Может доказываться непротиворечивость аксиом (-)

От	Ktulu
К	Роман (rvb)
Дата	02.11.2004 14:27:29
Рубрики	WWII;

Может доказываться непротиворечивость аксиом (-)

От	U2
К	Ktulu (02.11.2004 14:27:29)
Дата	02.11.2004 14:46:24

Да (+)

Добрый день!

Если в одной системе аксиом можно доказать как утверждение, так и его отрицание, то такая система аксиом противоречива

С уважением. Юрий.