მათემატიკური ლოგიკისა და სიმრავლეთა თეორიის ერთერთი შემქმნელი