ВИФ2 NE

	От	tevolga
	К	Ktulu
	Дата	04.12.2006 11:41:09
	Рубрики	Суворов (В.Резун);

Re: А как...

Формальная математика позволяет доказывать какое утверждение есть аксиома, а какое теорема.
С уважением к сообществу.

Можно доказать минимальность набора аксиом. - Ktulu 04.12.2006 12:34:56 (93, 292 b)
- Re: Можно доказать... - tevolga 04.12.2006 12:56:29 (82, 414 b)
  - Re: Можно доказать... - Ktulu 04.12.2006 13:15:20 (64, 726 b)
    - Re: Можно доказать... - tevolga 04.12.2006 13:23:19 (56, 430 b)
      - Re: Можно доказать... - Ktulu 04.12.2006 13:38:35 (50, 694 b)
        
        Re: Можно доказать... - tevolga 04.12.2006 13:58:29 (52, 940 b)