[boomzilla]

So are logic frameworks discovered or invented? Are true/false values discovered or invented?

I think the question whether math is discovered or invented is silly. It is both.