SB
ну пара морфизмоф, епта, че ж еще
Size: a a a
2020 October 23
SB
биекция только неактуально
SA
а это
SA
ну хз
тебе это че то объясняет
тебе это че то объясняет
SA
ладно про биекцию можно было не говорить но типа
SB
ладно, давай дальше пойдем. че у нас по поводу soundness в логике? не знаю как по-русски.
SA
мне сильно хотелось просто пример сказать
SB
ладно про биекцию можно было не говорить но типа
конечно, она тут непричем
SB
ты за частный случай схватился
SA
бля я тож не знаю как soundness по русски
SA
я также честно не знаю определения
SA
я могу только сказать что типа
SA
ммм
SA
ну короче вроде бы система sound если все ее утверждения это просто
SA
блин я хз как скзаать это
SA
я пошел вики читать))
SA
а погоди
SA
ты в логике говорил?
SB
ну короче вроде бы система sound если все ее утверждения это просто
куда это блять тебя понесло опять
SB
ладно, давай дальше. что такое предел последовательности?