Hacker News new | ask | show | jobs
by Koshkin 2305 days ago
In a way, sure. In math, existence means consistency, i.e. being free of logical contradiction. Often, "a proof of existence" is done by construction based on a system whose "existence" is assumed. In particular, the complex numbers are usually constructed from the reals in the form (a, b).