nauka zajmująca się metodologiczną analizą teorii matematyki