Формалды жүйе: Нұсқалар арасындағы айырмашылық