વધુમાં, ત્યાં જેમ કે "ગણિત સિદ્ધાંતો" સિસ્ટમ વિસ્તરણ "ગાણિતિક તર્કશાસ્ત્રમાં" ક્વાઈન, તેમજ સેટ સિદ્ધાંતમાં વધુ તાજેતરના વિકાસ ફોર્ક પ્રકાર સિદ્ધાંત તરીકે અનુગામી એક્સ્ટેંશન્સ અથવા આ ઉપાયોના ફેરફારો કરવામાં આવ્યા છે, બેર્નાયસ, Godel અને વોન ન્યુમેન કરી હતી.