What is the problem you're trying to solve?
Computer software has been intimately tied to ZF Set Theory since the Dartmouth conference.