|
Jan. 7th, 2021|12:46 am |
|
Вообще, математика, как формальная система может сказать, в ней существует ли некий объект, не существует, либо существование недоказуемо. Типа континуум-гипотезы, и тогда можно постулировать его (не)существование. Это онтология в узком смысле, ведь и квантор существования интерпретируется как существование, и выбор аксиом произволен. |
|