Непревзойдён в логике и математике