называемой базы)?
нет, под базой я основы подразумевал
Какая разница, как это назвать, система, определенная аксиомами
большая, потому что ты мешаешь горячее с зеленым
Так, не понимаю, что я мешаю. Для начала, существуют системы, которые могут описать другие системы, тут что-то не так?
ты на формальном языке описываешь какую-то теорию
Я лучше уточню, формальный - это какой?
https://ru.wikipedia.org/wiki/Формальный_язык
То есть, например, русский язык - это формальный язык?
Ладно, это просто вопрос для понимания.
Обсуждают сегодня