Философия и математика: Отрицание отрицания