Properly no they are not part of math, they are part of Computer Science, i.e. a description of how computations actually happen in the real world.
That is the missing piece that determines what axioms to use.
Properly no they are not part of math, they are part of Computer Science, i.e. a description of how computations actually happen in the real world.
That is the missing piece that determines what axioms to use.