Типы математических высказываний: от аксиом до теорем