The totality of true propositions is the total natural science.

• 真命题的总体就是整个自然科学。