Stav dette: Математическая непрерывная логика и изображение функций