See the english page Deductive theoretical physics