中国公民张某，2000年与妻子吴某离婚，所生子女由吴某抚养。2005年，张某到西班牙经商，2011年与天主教徒索非亚结婚，按照天主教仪式在教堂举行了婚礼。西班牙婚姻法规定。天主教徒在教堂举行结婚仪式为双方缔结婚姻的形式要件。2015年，张某结束在西班牙的生意，回中国投资。2017年2月，张某在上海因车祸去世。关于遗产继承问题，张某的子女诉至法院，认为张某在西班牙结婚他们一无所知，张某的婚姻未进行民事登记，不符合我国婚姻法的规定，因此主张索非亚不是张某遗产的继承人。问：（1）张某与索菲亚的婚姻是否有效？请说