May be can probably overcome the antinomy by embracing both polarities as a field of possibilities. We can imagine all possible mathematical truths as waiting their discovery, but the process of reaching them may look like inventing at times.