Логика как основа математики: выводы и примеры