Цитата:
Сообщение от садовник
Так для нашего мира постулированы свойства логики первого порядка (три закона логики).
|
Это крайне интересно.
Это о какой логике?
---------
Цитата:
Сообщение от садовник
По сути вы предлагаете исключить из математики аксиомы и пользоваться только одними теоремами.
|
Не-не-не, я предлагаю пользоваться значениями и методами. По крайней мере, я не вижу ничего иного.