We discuss how a theoretical synthetic biology research programme may liberate empiricism in biological sciences beyond the unaided human brain. Because synthetic biological systems are relatively small and largely independent of evolutionary contexts, they can be represented with mathematical models strongly founded on first principles of molecular biology and laws of statistical thermodynamics. A universal mathematical formalism for describing synthetic constructs may then be plausibly used to explain in unambiguous, quantitative terms how biological phenotypic complexity emerges as a result of well-defined biomolecular interactions. SynBioSS, a publicly available software package, is described that implements this mathematical formalism.