>>12468883>Is it possible to have a mathematical model of quantum mechanics which only uses rational numbers?yes quantum mechanics is possible with constructive maths and this uses only rational numbers and sets of those
for special relativity, it is still possible with constructive maths by following this axiomatic approach and checking the axioms are okay in weaker logics
https://arxiv.org/pdf/0801.4870.pdfAXIOMATIZING RELATIVISTIC DYNAMICS WITHOUT CONSERVATION POSTULATES
H. ANDREKA, J. X. MADAR ?ASZ, I. NEMETI AND G. SZ ?EKELY
Abstract.
A part of relativistic dynamics is axiomatized by sim-ple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famousE=mc2. The connection of ourgeometrical axioms and the usual axioms on the conservation ofmass, momentum and four-momentum is also investigated.
for general relativity, i think their axioms work but not sure.
