А между тем здесь интересная дискуссия.

[Фредегар_Тук]

akater.livejournal.com/513980.html?view=1107644...

@музыка: Но я, увы..

Comments

[S-agapo]

mmm,interesting!
кстати, не везде аксиома - это та самая "аксиома") в одном из наших курсов аксиома была определена как разрешимое множество пар эквивалентных объектов О_О и я помню, что мы даже что-то доказывали.

[Фредегар_Тук]

"аксиома была определена как разрешимое множество пар эквивалентных объектов О_О"

ой-ей-ей-ей...