LINUX.ORG.RU

История изменений

Исправление cvs-255, (текущая версия) :

Аксиому выбора все математики принимают

емнип, нет. Споры о том, принимать ее или нет, ведутся уже 100 лет и вроде пока не утихли

второй альтернативной математики у них НЕ получается

получается. Но несколько другая

А еще я слышал упоминания, об других альтернативах аксиоме выбора. Которые приводят к еще другим математикам

Исправление cvs-255, :

Аксиому выбора все математики принимают

емнип, нет. Споры о том, принимать ее или нет, ведутся уже 100 лет и вроде пока не утихли

Исходная версия cvs-255, :

Аксиому выбора все математики принимают

нет. Споры о том, принимать ее или нет, ведутся уже 100 лет и вроде пока не утихли