关于替换公理有个很大的疑问，个人感觉替换公理是代数里非常重要的基础公理，许多时候就需要它来找突破口，但我却很难找到它的严谨表述。
例如百度百科上的表述明显不能解决求导式子不能用替换公理的问题，
像（sinx）′＝cosx 但（sinπ）′＝0而不是
（sinπ）′＝cosπ
所以想向各位大佬请教替换公理的严谨表述。