Математична логіка/Ітоговий тест