Если быть точным, Рассел не был формалистом, таким как Гильберт, заявивший, что аксиомы – это всего лишь последовательности символов, не имеющих определенного смысла. Рассел был скорее «логицистом», по мнению которого, аксиомы являются истинными утверждениями о логических фактах. Сторонники обеих точек зрения были весьма заинтересованы в том, чтобы понять, какие утверждения можно вывести из аксиом. То, насколько вы считаете это различие важным, служит хорошим показателем, понравится ли вам изучать аналитическую философию в магистратуре.